- 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
- 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 (8 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
