Bouyer, Patricia; Oualhadj, Youssouf; Randour, Mickael; Vandenhove, Pierre Arena-independent finite-memory determinacy in stochastic games. (English) Zbl 07788990 Log. Methods Comput. Sci. 19, No. 4, Paper No. 18, 51 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{P. Bouyer} et al., Log. Methods Comput. Sci. 19, No. 4, Paper No. 18, 51 p. (2023; Zbl 07788990) Full Text: DOI arXiv
Bérard, Béatrice; Bollig, Benedikt; Bouyer, Patricia; Függer, Matthias; Sznajder, Nathalie Synthesis in presence of dynamic links. (English) Zbl 07629163 Inf. Comput. 289, Part B, Article ID 104856, 28 p. (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{B. Bérard} et al., Inf. Comput. 289, Part B, Article ID 104856, 28 p. (2022; Zbl 07629163) Full Text: DOI
Bouyer, Patricia; Le Roux, Stéphane; Oualhadj, Youssouf; Randour, Mickael; Vandenhove, Pierre Games where you can play optimally with arena-independent finite memory. (English) Zbl 07559480 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 24, 22 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Bouyer} et al., LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 24, 22 p. (2020; Zbl 07559480) Full Text: DOI
Bérard, Béatrice; Bollig, Benedikt; Bouyer, Patricia; Függer, Matthias; Sznajder, Nathalie Synthesis in presence of dynamic links. (English) Zbl 07455739 Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 33-49 (2020). MSC: 68Q45 68Q60 91A80 PDFBibTeX XMLCite \textit{B. Bérard} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 33--49 (2020; Zbl 07455739) Full Text: arXiv Link
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James Model checking real-time systems. (English) Zbl 1392.68235 Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 1001-1046 (2018). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{P. Bouyer} et al., in: Handbook of model checking. Cham: Springer. 1001--1046 (2018; Zbl 1392.68235) Full Text: DOI HAL
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Carlier, Pierre When are stochastic transition systems tameable? (English) Zbl 1394.68243 J. Log. Algebr. Methods Program. 99, 41-96 (2018). MSC: 68Q85 60J20 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{N. Bertrand} et al., J. Log. Algebr. Methods Program. 99, 41--96 (2018; Zbl 1394.68243) Full Text: DOI arXiv
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon Average-energy games. (English) Zbl 1390.68115 Acta Inf. 55, No. 2, 91-127 (2018). MSC: 68M20 68Q25 91A80 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Acta Inf. 55, No. 2, 91--127 (2018; Zbl 1390.68115) Full Text: DOI HAL
Bouyer, Patricia; Hofman, Piotr; Markey, Nicolas; Randour, Mickael; Zimmermann, Martin Bounding average-energy games. (English) Zbl 1392.68115 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 (ISBN 978-3-662-54457-0/pbk; 978-3-662-54458-7/ebook). Lecture Notes in Computer Science 10203, 179-195 (2017). MSC: 68M20 68Q25 91A80 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Lect. Notes Comput. Sci. 10203, 179--195 (2017; Zbl 1392.68115) Full Text: DOI arXiv
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon Average-energy games. (English) Zbl 1476.68024 Esparza, Javier (ed.) et al., Proceedings of the sixth international symposium on games, automata, logics and formal verification, GandALF 2015, Genoa, Italy, September 21–22, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 193, 1-15 (2015). MSC: 68M20 68Q25 91A80 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 193, 1--15 (2015; Zbl 1476.68024) Full Text: arXiv Link
Bouyer, Patricia; Chevalier, Fabrice; Markey, Nicolas On the expressiveness of TPTL and MTL. (English) Zbl 1209.03010 Inf. Comput. 208, No. 2, 97-116 (2010). Reviewer: Andreas Herzig (Toulouse) MSC: 03B44 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Inf. Comput. 208, No. 2, 97--116 (2010; Zbl 1209.03010) Full Text: DOI
Bouyer, Patricia Model-checking timed temporal logics. (English) Zbl 1347.68218 Areces, Carlos (ed.) et al., Proceedings of the 5th workshop on methods for modalities (M4M5 2007), Cachan, France, November 29–30, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 231, 323-341 (2009). MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{P. Bouyer}, Electron. Notes Theor. Comput. Sci. 231, 323--341 (2009; Zbl 1347.68218) Full Text: DOI