Articles with public access mandates - Patricia BouyerLearn more
Available somewhere: 26
Pure Nash equilibria in concurrent deterministic games
P Bouyer, R Brenguier, N Markey, M Ummels
Logical Methods in Computer Science 11, 2015
Mandates: European Commission
Stochastic timed automata
N Bertrand, P Bouyer, T Brihaye, Q Menet, C Baier, M Größer, ...
Logical methods in computer science 10, 2014
Mandates: National Fund for Scientific Research, Belgium, German Research Foundation …
Averaging in LTL
P Bouyer, N Markey, RM Matteplackel
International conference on concurrency theory, 266-280, 2014
Mandates: European Commission
Reasoning about quality and fuzziness of strategic behaviours
P Bouyer, O Kupferman, N Markey, B Maubert, A Murano, G Perelli
ECAI 2020, 2887-2888, 2020
Mandates: European Commission, Government of Italy
Lower-bound-constrained runs in weighted timed automata
P Bouyer, KG Larsen, N Markey
Performance Evaluation 73, 91-109, 2014
Mandates: European Commission
Shrinking timed automata
O Sankur, P Bouyer, N Markey
Information and Computation 234, 107-132, 2014
Mandates: European Commission
Average-energy games
P Bouyer, N Markey, M Randour, KG Larsen, S Laursen
Acta Informatica 55, 91-127, 2018
Mandates: National Fund for Scientific Research, Belgium, European Commission
Games where you can play optimally with arena-independent finite memory
P Bouyer, S Le Roux, Y Oualhadj, M Randour, P Vandenhove
Logical Methods in Computer Science 18, 2022
Mandates: National Fund for Scientific Research, Belgium
Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs
P Bouyer, M Randour, P Vandenhove
TheoretiCS 2, 2023
Mandates: National Fund for Scientific Research, Belgium, Agence Nationale de la Recherche
Arena-independent finite-memory determinacy in stochastic games
P Bouyer, Y Oualhadj, M Randour, P Vandenhove
Logical Methods in Computer Science 19, 2023
Mandates: National Fund for Scientific Research, Belgium, Agence Nationale de la Recherche
Dependences in strategy logic
P Gardy, P Bouyer, N Markey
Theory of Computing Systems 64 (3), 467-507, 2020
Mandates: European Commission
Bounding average-energy games
P Bouyer, P Hofman, N Markey, M Randour, M Zimmermann
Foundations of Software Science and Computation Structures: 20th …, 2017
Mandates: National Fund for Scientific Research, Belgium
Timed-automata abstraction of switched dynamical systems using control funnels
P Bouyer, N Markey, N Perrin, P Schlehuber-Caissier
Formal Modeling and Analysis of Timed Systems: 13th International Conference …, 2015
Mandates: European Commission
Half-Positional Objectives Recognized by Deterministic B\" uchi Automata
P Bouyer, A Casares, M Randour, P Vandenhove
Logical Methods in Computer Science 20, 2024
Mandates: Agence Nationale de la Recherche
Zone-based verification of timed automata: extrapolations, simulations and what next?
P Bouyer, P Gastin, F Herbreteau, O Sankur, B Srivathsan
International Conference on Formal Modeling and Analysis of Timed Systems, 16-42, 2022
Mandates: Agence Nationale de la Recherche
Identifiers in Registers: Describing Network Algorithms with Logic
B Bollig, P Bouyer, F Reiter
International Conference on Foundations of Software Science and Computation …, 2019
Mandates: Agence Nationale de la Recherche
Timed-automata abstraction of switched dynamical systems using control invariants
P Bouyer, N Markey, N Perrin, P Schlehuber-Caissier
Real-Time Systems 53, 327-353, 2017
Mandates: European Commission
Nash equilibria in symmetric graph games with partial observation
P Bouyer, N Markey, S Vester
Information and Computation 254, 238-258, 2017
Mandates: European Commission
Compositional design of stochastic timed automata
P Bouyer, T Brihaye, P Carlier, Q Menet
Computer Science–Theory and Applications: 11th International Computer …, 2016
Mandates: European Commission
Quantitative verification of weighted kripke structures
P Bouyer, P Gardy, N Markey
International Symposium on Automated Technology for Verification and …, 2014
Mandates: European Commission
Publication and funding information is determined automatically by a computer program