- Commutative Data Automata Zhilin Wu Mon 20 January 2025
- A novel learning algorithm for Buchi automata based on family of DFAs and classification trees Yong Li Yu-Fang Chen Lijun Zhang Depeng Liu Mon 02 August 2021
- Is There a Best BuChi Automaton for Explicit Model Checking František Blahoudek Alexandre Duret-Lutz Mojmír Křetínský Jan Strejček Thu 17 November 2016
- Logical specifications of infinite computations Wolfgang Thomas Helmut Lescow Mon 13 January 2014
- Profile Trees for Buchi Word Automata, with Application to Determinization Seth Fogarty Orna Kupferman Moshe Y. Vardi Thomas Wilke Thu 02 January 2014
- On the virtue of patience: minimizing Buchi automata Rudiger Ehlers Bernd Finkbeiner Mon 28 October 2013
- Translating to Co-Buchi Made Tight, Unified, and Useful Udi Boker Orna Kupferman Fri 12 July 2013
- On the complexity of omega-automata S. Safra Fri 12 July 2013
- Forcing MSO on Infinite Words in Weak MSO Colin Riba Tue 09 July 2013
- Efficient inclusion testing for simple classes of unambiguous Buchi-automata Dimitri Isaak Christof Løding Wed 29 May 2013
Library Size: 13G (10 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
