Informatics Report Series


Richard Mayr

Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Report Date Title
EDI-INF-RR-1419 Jul 2014 Infinite-State Energy Games
EDI-INF-RR-1418 Dec 2013 Simulation Over One-counter Nets is PSPACE-Complete
EDI-INF-RR-1417 Aug 2013 Solving Parity Games on Integer Vectors
EDI-INF-RR-1416 Aug 2013 Stochastic Parity Games on Lossy Channel Systems
EDI-INF-RR-1415 Apr 2013 Decidability of Weak Simulation on One-counter Nets
EDI-INF-RR-1414 Oct 2012 Advanced Automata Minimization
EDI-INF-RR-1376 Aug 2010 Multipebble Simulations for Alternating Automata
EDI-INF-RR-1199 Mar 2003 Undecidable problems in unreliable computations
EDI-INF-RR-1198 Jun 2003 Undecidability of Weak Bisimulation Equivalence for 1-Counter Processes
EDI-INF-RR-1197 Mar 2006 Model Checking Probabilistic Pushdown Automata
EDI-INF-RR-1196 Feb 2007 Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness

Home : Publications : Author 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh