Raskin, Jean-François (ed.); Bresolin, Davide (ed.) Special issue: selected papers of the 11th international symposium on games, automata, logics, and formal verification (GandALF 2020). (English) Zbl 07629169 Inf. Comput. 289, Part B, Article ID 104980, 2 p. (2022). MSC: 00Bxx 68Qxx PDFBibTeX XMLCite \textit{J.-F. Raskin} (ed.) and \textit{D. Bresolin} (ed.), Inf. Comput. 289, Part B, Article ID 104980, 2 p. (2022; Zbl 07629169) 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 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
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
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
Velner, Yaron; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Rabinovich, Alexander; Raskin, Jean-François The complexity of multi-mean-payoff and multi-energy games. (English) Zbl 1309.68082 Inf. Comput. 241, 177-196 (2015). MSC: 68Q17 91A05 91A43 PDFBibTeX XMLCite \textit{Y. Velner} et al., Inf. Comput. 241, 177--196 (2015; Zbl 1309.68082) Full Text: DOI arXiv
Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François On model-checking timed automata with stopwatch observers. (English) Zbl 1094.68055 Inf. Comput. 204, No. 3, 408-433 (2006). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{T. Brihaye} et al., Inf. Comput. 204, No. 3, 408--433 (2006; Zbl 1094.68055) Full Text: DOI