Giovanni Bacci 0001, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier
Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty
FM, 2018.
@inproceedings{FM-2018-0001BFLMR,
author = "Giovanni Bacci 0001 and Patricia Bouyer and Uli Fahrenberg and Kim Guldstrand Larsen and Nicolas Markey and Pierre-Alain Reynier",
booktitle = "{Proceedings of the 22nd International Symposium of Formal Methods}",
doi = "10.1007/978-3-319-95582-7_12",
isbn = "['978-3-319-95581-0', '978-3-319-95582-7']",
pages = "203--221",
publisher = "{Springer}",
title = "{Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty}",
year = 2018,
}
Tags:
