Patricia Bouyer

Identifiers

• name variant Patricia Bouyer 0.60 · backfill

Papers (19)

1. Nash equilibria in games over graphs equipped with a communication mechanism cs.GT · 2019 · author #1
2. Reasoning about Quality and Fuzziness of Strategic Behaviours cs.LO · 2019 · author #1
3. Identifiers in Registers - Describing Network Algorithms with Logic cs.FL · 2018 · author #2
4. Multi-weighted Markov Decision Processes with Reachability Objectives cs.LO · 2018 · author #1
5. Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty cs.FL · 2018 · author #2
6. Dependences in Strategy Logic cs.LO · 2017 · author #2
7. Unbounded product-form Petri nets cs.PF · 2017 · author #1
8. When are Stochastic Transition Systems Tameable? cs.LO · 2017 · author #2
9. Bounding Average-energy Games cs.LO · 2016 · author #1
10. Dynamic Complexity of the Dyck Reachability cs.CC · 2016 · author #1
11. Dynamic Complexity of Parity Games with Bounded Tree-Width cs.CC · 2016 · author #1
12. Stochastic Timed Games Revisited cs.LO · 2016 · author #2
13. Reachability in Networks of Register Protocols under Stochastic Schedulers cs.LO · 2016 · author #1
14. Symbolic Optimal Reachability in Weighted Timed Automata cs.LO · 2016 · author #1
15. Average-energy games (full version) cs.LO · 2015 · author #1
16. Emptiness and Universality Problems in Timed Automata with Positive Frequency cs.FL · 2013 · author #2
17. Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited cs.LO · 2011 · author #1
18. O-Minimal Hybrid Reachability Games cs.LO · 2009 · author #1
19. Model Checking One-clock Priced Timed Automata cs.LO · 2008 · author #1

Mentions

• 1309.2842 #2 · backfill · confidence 0.70 Patricia Bouyer
• 1102.3615 #1 · backfill · confidence 0.70 Patricia Bouyer
• 0911.4833 #1 · backfill · confidence 0.70 Patricia Bouyer
• 0805.1457 #1 · backfill · confidence 0.70 Patricia Bouyer

Frequent Coauthors

• Nicolas Markey 11 shared papers
• Mickael Randour 4 shared papers
• Kim G. Larsen 3 shared papers
• Thomas Brihaye 3 shared papers
• Vincent Jug\'e 3 shared papers
• Nathalie Bertrand 2 shared papers
• Amelie Stainer 1 shared papers
• Aniello Murano 1 shared papers
• Arnaud Sangnier 1 shared papers
• Ashutosh Trivedi 1 shared papers
• Bastien Maubert 1 shared papers
• Benedikt Bollig 1 shared papers
• Daniel Stan 1 shared papers
• Fabian Reiter 1 shared papers
• Fabrice Chevalier 1 shared papers
• Giovanni Bacci 1 shared papers
• Giuseppe Perelli 1 shared papers
• J\"org Olschewski 1 shared papers
• Lakshmi Manasa 1 shared papers
• Martin Zimmermann 1 shared papers