pith. sign in

Richard Mayr

Identifiers

  • name variant Richard Mayr 0.60 · backfill

Papers (21)

  1. Mean-Payoff-Parity and Lifting Strategies from MDPs to 2-Player Stochastic Games cs.GT · 2026 · author #2
  2. Approximating the Value of Energy-Parity Objectives in Simple Stochastic Games cs.GT · 2023 · author #2
  3. B\"uchi Objectives in Countable MDPs math.PR · 2019 · author #2
  4. Universal Safety for Timed Petri Nets is PSPACE-complete cs.LO · 2018 · author #4
  5. On Strong Determinacy of Countable Stochastic Games cs.GT · 2017 · author #2
  6. Parity Objectives in Countable MDPs cs.LO · 2017 · author #2
  7. MDPs with Energy-Parity Objectives cs.LO · 2017 · author #1
  8. Qualitative Analysis of VASS-Induced MDPs cs.LO · 2015 · author #3
  9. Reduction of Nondeterministic Tree Automata cs.FL · 2015 · author #3
  10. Stochastic Parity Games on Lossy Channel Systems cs.LO · 2014 · author #3
  11. Infinite-State Energy Games cs.GT · 2014 · author #4
  12. Simulation Over One-counter Nets is PSPACE-Complete cs.FL · 2013 · author #3
  13. Branching-Time Model Checking Gap-Order Constraint Systems (Extended Version) cs.LO · 2013 · author #1
  14. Solving Parity Games on Integer Vectors cs.LO · 2013 · author #2
  15. Stochastic Parity Games on Lossy Channel Systems cs.GT · 2013 · author #3
  16. Decidability of Weak Simulation on One-counter Nets cs.FL · 2013 · author #2
  17. Advanced Automata Minimization cs.FL · 2012 · author #2
  18. Computing Optimal Coverability Costs in Priced Timed Petri Nets cs.LO · 2011 · author #2
  19. Decisive Markov Chains cs.LO · 2007 · author #3
  20. Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness cs.LO · 2006 · author #3
  21. Model Checking Probabilistic Pushdown Automata cs.LO · 2005 · author #3

Mentions

  • 2606.19324 #2 · arxiv_oai · confidence 0.70 Richard Mayr
  • 2307.05762 #2 · arxiv_oai · confidence 0.70 Richard Mayr
  • 1410.4448 #3 · backfill · confidence 0.70 Richard Mayr
  • 1405.0628 #4 · backfill · confidence 0.70 Richard Mayr
  • 1310.6303 #3 · backfill · confidence 0.70 Richard Mayr
  • 1307.4207 #1 · backfill · confidence 0.70 Richard Mayr
  • 1306.2806 #2 · backfill · confidence 0.70 Richard Mayr
  • 1305.5228 #3 · backfill · confidence 0.70 Richard Mayr
  • 1304.4104 #2 · backfill · confidence 0.70 Richard Mayr
  • 1210.6624 #2 · backfill · confidence 0.70 Richard Mayr
  • 1104.0617 #2 · backfill · confidence 0.70 Richard Mayr
  • 0706.2585 #3 · backfill · confidence 0.70 Richard Mayr

Frequent Coauthors