- Register Automata with Permutations Mrudula Balachander Emmanuel Filiot Raffaella Gentilini Nikos Tzevelekos Sun 24 August 2025
- Pebble Minimization of Polyregular Functions Nathan Lhote Sat 04 July 2020
- Simulation-based Minimization Doron Bustan Orna Grumberg Thu 17 November 2016
- Minimization of Symbolic Automata Loris D'Antoni Margus Veanes Thu 01 October 2015
- Minimizing Finite Automata is Computationally Hard Andreas Malcher Thu 12 December 2013
- Reducing Nondeterministic Finite Automata with SAT Solvers Jaco Geldenhuys Brink van der Merwe Lynette van Zijl Thu 12 December 2013
- Minimal NFA Problems Are Hard Tao Jiang B. Ravikumar Thu 12 December 2013
- Learn with SAT to Minimize Buchi Automata Stephan Barth Martin Hofmann Mon 28 October 2013
- Minimising deterministic Buchi automata precisely using SAT solving Rudiger Ehlers Mon 28 October 2013
- On the virtue of patience: minimizing Buchi automata Rudiger Ehlers Bernd Finkbeiner Mon 28 October 2013
- On Recognizable Timed Languages Oded Maler Amir Pnueli Tue 08 October 2013
- An Efficient Algorithm for Minimizing Real-Time Transition Systems Mihalis Yannakakis David Lee Sat 07 July 2012
Library Size: 13G (12 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
