@article{bacci:hal-03240104,
TITLE = {Optimal and robust controller synthesis using energy timed automata with uncertainty},
AUTHOR = {Bacci, Giovanni and Bouyer, Patricia and Fahrenberg, Uli and Larsen, Kim and Markey, Nicolas and Reynier, Pierre-Alain},
URL = {https://hal.science/hal-03240104},
JOURNAL = {Formal Aspects of Computing},
PUBLISHER = {Springer Verlag},
VOLUME = {33},
NUMBER = {1},
PAGES = {3-25},
YEAR = {2021},
MONTH = Jan, DOI = {10.1007/s00165-020-00521-4},
PDF = {https://hal.science/hal-03240104/file/2021-fac-BBFLMR.pdf},
HAL_ID = {hal-03240104},
HAL_VERSION = {v1},
}