BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Richard Mayr
SearchCollections
Map detail
Richard Mayr13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRichard MayrARichard MayrResearcherSimple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNPWSimple Stochastic Games...preprint / 2021Branching-Time Model Checking Gap-Order Constraint Systems (Extended Version)WBranching-Time Model Ch...preprint / 2015Strategy Complexity of Parity Objectives in Countable MDPsWStrategy Complexity of ...preprint / 2020Petri Nets with Time and CostWPetri Nets with Time an...preprint / 2013Advanced Automata MinimizationWAdvanced Automata Minim...preprint / 2012Solving Parity Games on Integer VectorsWSolving Parity Games on...preprint / 2013Decidability of Weak Simulation on One-counter NetsWDecidability of Weak Si...preprint / 2014Computing Optimal Coverability Costs in Priced Timed Petri NetsWComputing Optimal Cover...preprint / 2011Simulation Over One-counter Nets is PSPACE-CompleteWSimulation Over One-cou...preprint / 2013Stochastic Parity Games on Lossy Channel SystemsWStochastic Parity Games...preprint / 2013Decisive Markov ChainsWDecisive Markov Chainspreprint / 2007Reduction of Nondeterministic Tree AutomataWReduction of Nondetermi...preprint / 2016
Person12 links

Richard Mayr

Researcher

PaperSimple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNPAuthorship / preprint / 2021PaperBranching-Time Model Checking Gap-Order Constraint Systems (Extended Version)Authorship / preprint / 2015PaperStrategy Complexity of Parity Objectives in Countable MDPsAuthorship / preprint / 2020PaperPetri Nets with Time and CostAuthorship / preprint / 2013PaperAdvanced Automata MinimizationAuthorship / preprint / 2012PaperSolving Parity Games on Integer VectorsAuthorship / preprint / 2013PaperDecidability of Weak Simulation on One-counter NetsAuthorship / preprint / 2014PaperComputing Optimal Coverability Costs in Priced Timed Petri NetsAuthorship / preprint / 2011

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)