- Minimization of Tree Automata Thomas von Bomhard Mon 28 May 2012
- Mediating for Reduction (on Minimizing Alternating Buchi Automata) Parosh Za. Abdulla Yu-Fang Chen Lukas Holik Tomas Vojnar Tue 03 April 2012
- Stuttering Equivalence for Parity Games Sjoerd Cranen Jeroen J. A. Keiren Tim A. C. Willemse Tue 03 April 2012
- Multipebble simulations for alternating automata Lorenzo Clemente Richard Mayr Mon 02 April 2012
- Simulation-Based Simplification of omega-Automata Carsten Fritz Mon 02 April 2012
- Constructing Buchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Buchi Automata Carsten Fritz Mon 02 April 2012
- State Space Reductions for Alternating Buchi Automata Quotienting by Simulation Equivalences Carsten Fritz Thomas Wilke Mon 02 April 2012
- Simulation Relations for Alternating Parity Automata and Parity Games Carsten Fritz Thomas Wilke Mon 02 April 2012
- Simulation relations for alternating Buchi automata Carsten Fritz Thomas Wilke Mon 02 April 2012
- Fair Simulation Relations, Parity Games, and State Space Reduction for Buchi Automata Kousha Etessami Thomas Wilke Rebecca A. Schuller Mon 02 April 2012
- Fair Simulation Relations, Parity Games, and State Space Reduction for Buchi Automata Kousha Etessami Thomas Wilke Rebecca A. Schuller Mon 02 April 2012
Library Size: 13G (11 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
