TY  - RPRT
TI  - Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty
AU  - Giovanni Bacci
AU  - Patricia Bouyer
AU  - Uli Fahrenberg
AU  - Kim G. Larsen
AU  - Nicolas Markey
AU  - Pierre-Alain Reynier
PY  - 2018
UR  - https://arxiv.org/abs/1805.00847
ID  - 1805.00847
ER  -