Křetínský, Jan; Pérez, Guillermo A.; Raskin, Jean-François Learning-based mean-payoff optimization in an unknown MDP under omega-regular constraints. (English) Zbl 1520.90206 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 8, 18 p. (2018). MSC: 90C40 68T05 PDFBibTeX XMLCite \textit{J. Křetínský} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 8, 18 p. (2018; Zbl 1520.90206) Full Text: DOI arXiv
Bruyère, Véronique; Filiot, Emmanuel; Randour, Mickael; Raskin, Jean-François Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games. (English) Zbl 1371.91022 Inf. Comput. 254, Part 2, 259-295 (2017). MSC: 91A43 91A05 90C40 PDFBibTeX XMLCite \textit{V. Bruyère} et al., Inf. Comput. 254, Part 2, 259--295 (2017; Zbl 1371.91022) Full Text: DOI Link
Larsen, Kim Guldstrand; Mikučionis, Marius; Taankvist, Jakob Haahr Safe and optimal adaptive cruise control. (English) Zbl 1444.68183 Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 260-277 (2015). MSC: 68T27 68Q60 90B20 93C85 PDFBibTeX XMLCite \textit{K. G. Larsen} et al., Lect. Notes Comput. Sci. 9360, 260--277 (2015; Zbl 1444.68183) Full Text: DOI