Minimal Bchi Automata for Certain Classes of LTL Formulas.

Jacek Cichon, Adam Czubak, Andrzej Jasinski

Browse the full DEPCoS paper archive.