Patricia Bouyer

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 88

Top Venues

Publications

Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
From Local to Global Optimality in Concurrent Parity Games. CSL (2024)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives. FoSSaCS (2023)
Patricia Bouyer, Mickael Randour, Pierre Vandenhove
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs. TheoretiCS 2 (2023)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
From Local To Global Optimality in Concurrent Parity Games. CoRR (2023)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
Sub-game optimal strategies in concurrent games with prefix-independent objectives. CoRR (2023)
Patricia Bouyer, Nathanaël Fijalkow, Mickael Randour, Pierre Vandenhove
How to Play Optimally for Regular Objectives? ICALP (2023)
Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
Arena-Independent Finite-Memory Determinacy in Stochastic Games. Log. Methods Comput. Sci. 19 (4) (2023)
Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract). IJCAI (2023)
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Reasoning about Quality and Fuzziness of Strategic Behaviors. ACM Trans. Comput. Log. 24 (3) (2023)
Patricia Bouyer, Mickael Randour, Pierre Vandenhove
The True Colors of Memory: A Tour of Chromatic-Memory Strategies in Zero-Sum Games on Graphs (Invited Talk). FSTTCS (2022)
Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
Half-Positional Objectives Recognized by Deterministic Büchi Automata. CoRR (2022)
Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
Half-Positional Objectives Recognized by Deterministic Büchi Automata. CONCUR (2022)
Patricia Bouyer, Nathanaël Fijalkow, Mickael Randour, Pierre Vandenhove
How to Play Optimally for Regular Objectives? CoRR (2022)
Patricia Bouyer, Paul Gastin, Frédéric Herbreteau, Ocan Sankur, B. Srivathsan
Zone-based verification of timed automata: extrapolations, simulations and what next? CoRR (2022)
Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
Games Where You Can Play Optimally with Arena-Independent Finite Memory. Log. Methods Comput. Sci. 18 (1) (2022)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
Playing (Almost-)Optimally in Concurrent Büchi and Co-Büchi Games. FSTTCS (2022)
Patricia Bouyer, Mickael Randour, Pierre Vandenhove
Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs. STACS (2022)
Patricia Bouyer, Stéphane Le Roux, Nathan Thomasset
Finite-Memory Strategies in Two-Player Infinite Games. CSL (2022)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
Playing (Almost-)Optimally in Concurrent Büchi and co-Büchi Games. CoRR (2022)
Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder
Synthesis in presence of dynamic links. Inf. Comput. 289 (Part) (2022)
Patricia Bouyer, Paul Gastin, Frédéric Herbreteau, Ocan Sankur, B. Srivathsan
Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next? FORMATS (2022)
Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove
Decisiveness of stochastic systems and its application to hybrid models. Inf. Comput. 289 (Part) (2022)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
Optimal Strategies in Concurrent Reachability Games. CSL (2022)
Patricia Bouyer, Stéphane Le Roux, Nathan Thomasset
Finite-memory strategies in two-player infinite games. CoRR (2021)
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier
Optimal and robust controller synthesis using energy timed automata with uncertainty. Formal Aspects Comput. 33 (1) (2021)
Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
Arena-Independent Finite-Memory Determinacy in Stochastic Games. CONCUR (2021)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
From Local to Global Determinacy in Concurrent Graph Games. FSTTCS (2021)
Patricia Bouyer, Léo Henry, Samy Jaziri, Thierry Jéron, Nicolas Markey
Diagnosing timed automata using timed markings. Int. J. Softw. Tools Technol. Transf. 23 (2) (2021)
Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
Reconfiguration and Message Losses in Parameterized Broadcast Networks. Log. Methods Comput. Sci. 17 (1) (2021)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
From local to global determinacy in concurrent graph games. CoRR (2021)
Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
Arena-Independent Finite-Memory Determinacy in Stochastic Games. CoRR (2021)
Patricia Bouyer, Mickael Randour, Pierre Vandenhove
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs. CoRR (2021)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
Optimal strategies in concurrent reachability games. CoRR (2021)
Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
Synthesizing safe coalition strategies. CoRR (2020)
Patrick Gardy, Patricia Bouyer, Nicolas Markey
Dependences in Strategy Logic. Theory Comput. Syst. 64 (3) (2020)
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Reasoning About Quality and Fuzziness of Strategic Behaviours. ECAI (2020)
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Paulin Fournier
Taming denumerable Markov decision processes with decisiveness. CoRR (2020)
Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
Synthesizing Safe Coalition Strategies. FSTTCS (2020)
Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
Games Where You Can Play Optimally with Arena-Independent Finite Memory. CONCUR (2020)
Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder
Synthesis in Presence of Dynamic Links. GandALF (2020)
Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove
Decisiveness of Stochastic Systems and its Application to Hybrid Models. GandALF (2020)
Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
Games Where You Can Play Optimally with Finite Memory. CoRR (2020)
Aniello Murano, Patricia Bouyer, Pierluigi San Pietro, Andrea Orlandini
Preface. Inf. Comput. 272 (2020)
Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove
Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version). CoRR (2020)
Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
Reconfiguration and Message Losses in Parameterized Broadcast Networks. CoRR (2019)
Patricia Bouyer
On the Computation of Nash Equilibria in Games on Graphs (Invited Talk). TIME (2019)
Benedikt Bollig, Patricia Bouyer, Fabian Reiter
Identifiers in Registers - Describing Network Algorithms with Logic. FoSSaCS (2019)
Patricia Bouyer
A Note on Game Theory and Verification. ATVA (2019)
Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
Reconfiguration and Message Losses in Parameterized Broadcast Networks. CONCUR (2019)
Patricia Bouyer, Nathan Thomasset
Nash Equilibria in Games over Graphs Equipped with a Communication Mechanism. MFCS (2019)
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Reasoning about Quality and Fuzziness of Strategic Behaviours. CoRR (2019)
Patricia Bouyer, Nathan Thomasset
Nash equilibria in games over graphs equipped with a communication mechanism. CoRR (2019)
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Reasoning about Quality and Fuzziness of Strategic Behaviours. IJCAI (2019)
Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
Concurrent Parameterized Games. FSTTCS (2019)
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen
Average-energy games. Acta Informatica 55 (2) (2018)
Patricia Bouyer
Games on Graphs with a Public Signal Monitoring. FoSSaCS (2018)
Patrick Gardy, Patricia Bouyer, Nicolas Markey
Dependences in Strategy Logic. STACS (2018)
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier
When are stochastic transition systems tameable? J. Log. Algebraic Methods Program. 99 (2018)
Patricia Bouyer, Samy Jaziri, Nicolas Markey
Efficient Timed Diagnosis Using Automata with Timed Domains. RV (2018)
Béatrice Bérard, Patricia Bouyer, Vincent Jugé
Finite Bisimulations for Dynamical Systems with Overlapping Trajectories. CSL (2018)
Patricia Bouyer, Mauricio González, Nicolas Markey, Mickael Randour
Multi-weighted Markov Decision Processes with Reachability Objectives. GandALF (2018)
Benedikt Bollig, Patricia Bouyer, Fabian Reiter
Identifiers in Registers - Describing Network Algorithms with Logic. CoRR (2018)
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier
Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty. CoRR (2018)
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier
Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. FM (2018)
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier
When are Stochastic Transition Systems Tameable? CoRR (2017)
Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier
Timed-automata abstraction of switched dynamical systems using control invariants. Real Time Syst. 53 (3) (2017)
Patricia Bouyer
Games on graphs with a public signal monitoring. CoRR (2017)
Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell
Timed Temporal Logics. Models, Algorithms, Logics and Tools (2017)
Patricia Bouyer, Serge Haddad, Vincent Jugé
Unbounded product-form Petri nets. CoRR (2017)
Patricia Bouyer, Serge Haddad, Vincent Jugé
Unbounded Product-Form Petri Nets. CONCUR (2017)
Patricia Bouyer, Nicolas Markey, Steen Vester
Nash equilibria in symmetric graph games with partial observation. Inf. Comput. 254 (2017)
Patricia Bouyer, Vincent Jugé
Dynamic Complexity of the Dyck Reachability. FoSSaCS (2017)
Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann
Bounding Average-Energy Games. FoSSaCS (2017)
Patrick Gardy, Patricia Bouyer, Nicolas Markey
Dependences in Strategy Logic. CoRR (2017)
Patricia Bouyer, Samy Jaziri, Nicolas Markey
On the Determinization of Timed Systems. FORMATS (2017)
S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
Stochastic Timed Games Revisited. CoRR (2016)
Patricia Bouyer, Vincent Jugé, Nicolas Markey
Dynamic Complexity of Parity Games with Bounded Tree-Width. CoRR (2016)
Patricia Bouyer, Patrick Gardy, Nicolas Markey
On the semantics of Strategy Logic. Inf. Process. Lett. 116 (2) (2016)
Patricia Bouyer, Thomas Brihaye, Pierre Carlier, Quentin Menet
Compositional Design of Stochastic Timed Automata. CSR (2016)
Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan
Reachability in Networks of Register Protocols under Stochastic Schedulers. ICALP (2016)
Patricia Bouyer, Maximilien Colange, Nicolas Markey
Symbolic Optimal Reachability in Weighted Timed Automata. CoRR (2016)
Patricia Bouyer, Vincent Jugé
Dynamic Complexity of the Dyck Reachability. CoRR (2016)
Patricia Bouyer, Maximilien Colange, Nicolas Markey
Symbolic Optimal Reachability in Weighted Timed Automata. CAV (1) (2016)
Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan
Reachability in Networks of Register Protocols under Stochastic Schedulers. CoRR (2016)
S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
Stochastic Timed Games Revisited. MFCS (2016)
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier
Analysing Decisive Stochastic Processes. ICALP (2016)
Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann
Bounding Average-energy Games. CoRR (2016)
Patricia Bouyer, Nicolas Markey, Daniel Stan
Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games. GandALF (2016)
Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier
Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels. FORMATS (2015)
Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels
Pure Nash Equilibria in Concurrent Deterministic Games. Log. Methods Comput. Sci. 11 (2) (2015)
Patricia Bouyer
On the optimal reachability problem in weighted timed automata and games. NCMA (2015)
Patricia Bouyer, Erwin Fang, Nicolas Markey
Permissive strategies in timed automata and games. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Patricia Bouyer, Samy Jaziri, Nicolas Markey
On the Value Problem in Weighted Timed Games. CONCUR (2015)
Patricia Bouyer, Patrick Gardy, Nicolas Markey
Weighted Strategy Logic with Boolean Goals Over One-Counter Games. FSTTCS (2015)
Patricia Bouyer, Nicolas Markey, Ocan Sankur
Robust reachability in timed automata and games: A game-based approach. Theor. Comput. Sci. 563 (2015)
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim Guldstrand Larsen, Simon Laursen
Average-energy games. GandALF (2015)
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen
Average-energy games (full version). CoRR (2015)
Patricia Bouyer, Kim G. Larsen, Nicolas Markey
Lower-bound-constrained runs in weighted timed automata. Perform. Evaluation 73 (2014)
Patricia Bouyer, Patrick Gardy, Nicolas Markey
Quantitative Verification of Weighted Kripke Structures. ATVA (2014)
Patricia Bouyer, Nicolas Markey, Steen Vester
Nash Equilibria in Symmetric Games with Partial Observation. SR (2014)

Patricia Bouyer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Patricia Bouyer