@misc{indiciaebc3385a09b8a,
  title = {Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty},
  author = {Giovanni Bacci and Patricia Bouyer and Uli Fahrenberg and Kim G. Larsen and Nicolas Markey and Pierre-Alain Reynier},
  year = {2018},
  url = {https://arxiv.org/abs/1805.00847},
  note = {Source identifier: 1805.00847}
}