- A Collapse of the Parity Index Hierarchy of Tree Automata, Based on Cantor-Bendixson Ranks Karoliina Lehtinen Nathan Lhote Sat 05 July 2025
- The finite graph problem for two-way alternating automata Mikołaj Bojańczyk Mon 16 July 2018
- Time and alternation: an automata based framework to software model checking Abdelaziz Fellah Mon 25 February 2013
- Automated temporal reasoning about reactive systems E. Allen Emerson Thu 31 January 2013
- Alternating Timed Automata over Bounded Time Mark Jenkins Joel Ouaknine Alexander Rabinovich James Worrell Wed 28 November 2012
- Weak Alternating Timed Automata Pawel Parys Igor Walukiewicz Mon 26 November 2012
- Alternating tree automata Giora Slutzki Fri 02 November 2012
- Implementing r-AFA Operations S. Huerter X. Wu K. Salomaa Sheng Yu Sun 23 September 2012
- Efficient Implementation of Regular Languages Using r-AFA K. Salomaa X. Wu Sheng Yu Sun 23 September 2012
- Alternation Ashok K. Chandra Dexter C. Kozen Larry J. Stockmeyer Wed 12 September 2012
- Alternating timed automata Slawomir Lasota Igor Walukiewicz Mon 28 May 2012
- Alternating Timed Automata Slawomir Lasota Igor Walukiewicz Mon 28 May 2012
- Weak Alternating Timed Automata Pawel Parys Igor Walukiewicz Mon 28 May 2012
- State-complexity of finite-state devices, state compressibility and incompressibility Jean-Camille Birget Mon 28 May 2012
- On Translating Linear Temporal Logic into Alternating and Nondeterministic Automata Heikki Tauriainen Sat 07 April 2012
- Fast LTL to Buchi Automata Translation Paul Gastin Denis Oddoux Sat 07 April 2012
- An automata-theoretic approach to linear temporal logic Moshe Vardi Thu 05 April 2012
- Alternating automata and program verification Moshe Y. Vardi Thu 05 April 2012
- Safraless decision procedures O. Kupferman M.Y. Vardi Wed 04 April 2012
- Weak alternating automata are not that weak Orna Kupferman Moshe Y. Vardi Tue 03 April 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
Library Size: 13G (28 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
