- Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata Ismael Jecker Filip Mazowiecki David Purser Thu 23 January 2025
- A game approach to determinize timed automata Nathalie Bertrand Amélie Stainer Thierry Jéron Moez Krichen Wed 11 December 2019
- 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 complexity of omega-automata S. Safra Fri 12 July 2013
Library Size: 13G (4 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
