Bacci, Giovanni; Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Reynier, Pierre-Alain Optimal and robust controller synthesis using energy timed automata with uncertainty. (English) Zbl 1458.93072 Formal Asp. Comput. 33, No. 1, 3-25 (2021). MSC: 93B50 68Q45 68W30 93C65 PDFBibTeX XMLCite \textit{G. Bacci} et al., Formal Asp. Comput. 33, No. 1, 3--25 (2021; Zbl 1458.93072) Full Text: DOI arXiv
Bacci, Giovanni; Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Reynier, Pierre-Alain Optimal and robust controller synthesis. Using energy timed automata with uncertainty. (English) Zbl 1460.93031 Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 203-221 (2018). MSC: 93B50 68Q45 68W30 93C65 PDFBibTeX XMLCite \textit{G. Bacci} et al., Lect. Notes Comput. Sci. 10951, 203--221 (2018; Zbl 1460.93031) Full Text: DOI
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan Robust reachability in timed automata and games: a game-based approach. (English) Zbl 1302.68153 Theor. Comput. Sci. 563, 43-74 (2015). MSC: 68Q45 68Q60 91A80 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Theor. Comput. Sci. 563, 43--74 (2015; Zbl 1302.68153) Full Text: DOI