pith. sign in

V\'eronique Bruy\`ere

Identifiers

  • name variant V\'eronique Bruy\`ere 0.60 · backfill

Papers (19)

  1. Visibly Recursive Automata cs.FL · 2026 · author #2
  2. Partial Solvers for Generalized Parity Games cs.GT · 2019 · author #1
  3. On Relevant Equilibria in Reachability Games cs.GT · 2019 · author #2
  4. Energy mean-payoff games cs.GT · 2019 · author #1
  5. Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives (full version) cs.GT · 2018 · author #2
  6. Parameterized complexity of games with monotonically ordered {\omega}-regular objectives cs.GT · 2017 · author #1
  7. Computer aided synthesis: a game theoretic approach cs.GT · 2017 · author #1
  8. On the existence of weak subgame perfect equilibria cs.GT · 2016 · author #1
  9. Window Parity Games: An Alternative Approach Toward Parity Games with Time Bounds (Full Version) cs.LO · 2016 · author #1
  10. Window Parity Games: An Alternative Approach Toward Parity Games with Time Bounds cs.LO · 2016 · author #1
  11. On the complexity of heterogeneous multidimensional quantitative games cs.GT · 2015 · author #1
  12. Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability cs.GT · 2015 · author #2
  13. Secure Equilibria in Weighted Games cs.GT · 2014 · author #1
  14. Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes (extended version) cs.DS · 2014 · author #2
  15. Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games cs.GT · 2013 · author #1
  16. Synthesis from LTL Specifications with Mean-Payoff Objectives cs.LO · 2012 · author #2
  17. On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games cs.GT · 2012 · author #2
  18. On Equilibria in Quantitative Games with Reachability/Safety Objectives cs.GT · 2012 · author #2
  19. Visibly pushdown automata on trees: universality and u-universality cs.FL · 2012 · author #1

Mentions

  • 1511.08334 #1 · backfill · confidence 0.70 V\'eronique Bruy\`ere
  • 1504.01557 #2 · backfill · confidence 0.70 V\'eronique Bruy\`ere
  • 1402.3962 #1 · backfill · confidence 0.70 V\'eronique Bruy\`ere
  • 1402.1076 #2 · backfill · confidence 0.70 V\'eronique Bruy\`ere
  • 1309.5439 #1 · backfill · confidence 0.70 V\'eronique Bruy\`ere
  • 1210.3539 #2 · backfill · confidence 0.70 V\'eronique Bruy\`ere
  • 1205.6346 #2 · backfill · confidence 0.70 V\'eronique Bruy\`ere
  • 1205.4889 #2 · backfill · confidence 0.70 V\'eronique Bruy\`ere
  • 1205.2841 #1 · backfill · confidence 0.70 V\'eronique Bruy\`ere

Frequent Coauthors