Brihaye, Thomas; Bruyère, Véronique; Goeminne, Aline; Raskin, Jean-François Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives. (English) Zbl 1501.91028 Inf. Comput. 278, Article ID 104594, 20 p. (2021). MSC: 91A43 91A11 68Q17 91A44 PDFBibTeX XMLCite \textit{T. Brihaye} et al., Inf. Comput. 278, Article ID 104594, 20 p. (2021; Zbl 1501.91028) Full Text: DOI arXiv
Bruyère, Véronique; Le Roux, Stéphane; Pauly, Arno; Raskin, Jean-François On the existence of weak subgame perfect equilibria. (English) Zbl 1486.91017 Inf. Comput. 276, Article ID 104553, 20 p. (2021). MSC: 91A43 68Q60 91A11 PDFBibTeX XMLCite \textit{V. Bruyère} et al., Inf. Comput. 276, Article ID 104553, 20 p. (2021; Zbl 1486.91017) Full Text: DOI arXiv
Brihaye, Thomas; Bruyère, Véronique; Goeminne, Aline; Raskin, Jean-François; van den Bogaard, Marie The complexity of subgame perfect equilibria in quantitative reachability games. (English) Zbl 1519.91050 Log. Methods Comput. Sci. 16, No. 4, Paper No. 8, 43 p. (2020). MSC: 91A43 91A11 91A68 68Q17 PDFBibTeX XMLCite \textit{T. Brihaye} et al., Log. Methods Comput. Sci. 16, No. 4, Paper No. 8, 43 p. (2020; Zbl 1519.91050) Full Text: arXiv Link
Bruyère, Véronique; Hautem, Quentin; Randour, Mickael; Raskin, Jean-François Energy mean-payoff games. (English) Zbl 07649929 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 21, 17 p. (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{V. Bruyère} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 21, 17 p. (2019; Zbl 07649929) Full Text: DOI arXiv
Brihaye, Thomas; Bruyère, Véronique; Goeminne, Aline; Raskin, Jean-François; van Den, Bogaard Marie The complexity of subgame perfect equilibria in quantitative reachability games. (English) Zbl 1519.91051 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 13, 16 p. (2019). MSC: 91A43 91A11 91A68 68Q17 PDFBibTeX XMLCite \textit{T. Brihaye} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 13, 16 p. (2019; Zbl 1519.91051) Full Text: DOI
Brihaye, Thomas; Bruyère, Véronique; Goeminne, Aline; Raskin, Jean-François Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives. (English) Zbl 1524.91017 Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 16-29 (2018). MSC: 91A43 91A11 68Q17 91A44 PDFBibTeX XMLCite \textit{T. Brihaye} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 16--29 (2018; Zbl 1524.91017) Full Text: Link
Bruyère, Véronique; Hautem, Quentin; Raskin, Jean-François Parameterized complexity of games with monotonically ordered \(\omega\)-regular objectives. (English) Zbl 1520.68046 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 29, 16 p. (2018). MSC: 68Q27 68Q85 91A43 PDFBibTeX XMLCite \textit{V. Bruyère} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 29, 16 p. (2018; Zbl 1520.68046) Full Text: DOI arXiv
Hunter, Paul; Pauly, Arno; Pérez, Guillermo A.; Raskin, Jean-François Mean-payoff games with partial observation. (English) Zbl 1393.68105 Theor. Comput. Sci. 735, 82-110 (2018). MSC: 68Q60 91A43 PDFBibTeX XMLCite \textit{P. Hunter} et al., Theor. Comput. Sci. 735, 82--110 (2018; Zbl 1393.68105) Full Text: DOI Link
Bruyère, Véronique; Le Roux, Stéphane; Pauly, Arno; Raskin, Jean-François On the existence of weak subgame perfect equilibria. (English) Zbl 1486.91016 Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 145-161 (2017). MSC: 91A43 68Q60 91A11 PDFBibTeX XMLCite \textit{V. Bruyère} et al., Lect. Notes Comput. Sci. 10203, 145--161 (2017; Zbl 1486.91016) Full Text: DOI Link
Chatterjee, Krishnendu; Doyen, Laurent; Filiot, Emmanuel; Raskin, Jean-François Doomsday equilibria for omega-regular games. (English) Zbl 1370.68164 Inf. Comput. 254, Part 2, 296-315 (2017). MSC: 68Q45 91A43 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Inf. Comput. 254, Part 2, 296--315 (2017; Zbl 1370.68164) 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
Brenguier, Romain; Raskin, Jean-François; Sankur, Ocan Assume-admissible synthesis. (English) Zbl 1362.68202 Acta Inf. 54, No. 1, 41-83 (2017). MSC: 68Q85 68W05 68W40 91A43 PDFBibTeX XMLCite \textit{R. Brenguier} et al., Acta Inf. 54, No. 1, 41--83 (2017; Zbl 1362.68202) Full Text: DOI arXiv
Hunter, Paul; Pérez, Guillermo A.; Raskin, Jean-François Reactive synthesis without regret. (English) Zbl 1364.68263 Acta Inf. 54, No. 1, 3-39 (2017); correction ibid. 59, No. 5, 671 (2022). MSC: 68Q60 68Q85 68R10 91A43 PDFBibTeX XMLCite \textit{P. Hunter} et al., Acta Inf. 54, No. 1, 3--39 (2017; Zbl 1364.68263) Full Text: DOI arXiv
Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François Looking at mean-payoff and total-payoff through windows. (English) Zbl 1317.68065 Inf. Comput. 242, 25-52 (2015). MSC: 68Q25 68Q17 91A05 91A43 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Inf. Comput. 242, 25--52 (2015; Zbl 1317.68065) Full Text: DOI
Brim, L.; Chaloupka, J.; Doyen, L.; Gentilini, R.; Raskin, J. F. Faster algorithms for mean-payoff games. (English) Zbl 1213.68430 Form. Methods Syst. Des. 38, No. 2, 97-118 (2011). MSC: 68R10 91A43 68Q25 91A05 PDFBibTeX XMLCite \textit{L. Brim} et al., Form. Methods Syst. Des. 38, No. 2, 97--118 (2011; Zbl 1213.68430) Full Text: DOI