Minimizing Generalized Bchi Automata.

Sudeep Juvekar, Nir Piterman

Browse the full CAV paper archive.