-
Selection by year
-
Selection by authors
-
Complete lists
bacci:hal-03240104
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Larsen, Nicolas Markey, Pierre-Alain Reynier. Optimal and robust controller synthesis using energy timed automata with uncertainty. Formal Aspects of Computing, 33(1):3-25, January 2021.
Contact
Nicolas Markey http://people.rennes.inria.fr/Nicolas.Markey/
BibTex Reference
@article{bacci:hal-03240104,
Author = {Bacci, Giovanni and Bouyer, Patricia and Fahrenberg, Uli and Larsen, Kim and Markey, Nicolas and Reynier, Pierre-Alain},
Title = {{Optimal and robust controller synthesis using energy timed automata with uncertainty}},
Journal = {{Formal Aspects of Computing}},
Volume = {33},
Number = {1},
Pages = {3--25},
Publisher = {{Springer Verlag}},
Month = {January},
Year = {2021}
}
EndNote Reference [help]
Get EndNote Reference (.ref)