Graph explorer

Richard Mayr

Richard Mayr contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapRichard Mayr
13 nodes12 links
Richard Mayr13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipARichard MayrResearcherWSimple Stochastic Games...preprint / 2021WBranching-Time Model Ch...preprint / 2015WStrategy Complexity of ...preprint / 2020WPetri Nets with Time an...preprint / 2013WAdvanced Automata Minim...preprint / 2012WSolving Parity Games on...preprint / 2013WDecidability of Weak Si...preprint / 2014WComputing Optimal Cover...preprint / 2011WSimulation Over One-cou...preprint / 2013WStochastic Parity Games...preprint / 2013WDecisive Markov Chainspreprint / 2007WReduction of Nondetermi...preprint / 2016
PersonSignal 1012 links

Richard Mayr

Researcher

Open