| 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
|
