Ramsey-Based Analysis of Parity Automata
Abstract elided by the publisher.
Related papers
- Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing CAV 2010
- Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes APLAS 2013
- Index Appearance Record for Transforming Rabin Automata into Parity Automata TACAS 2017
- From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata TACAS 2017
- Permutation Games for the Weakly Aconjunctive \mu μ -Calculus TACAS 2018
- Polynomial Identification of ømega-Automata TACAS 2020
- Software model checking using languages of nested trees TOPLAS 2011
- Practical Applications of the Alternating Cycle Decomposition TACAS 2022