LTL to Smaller Self-Loop Alternating Automata and Back.

Frantisek Blahoudek, Juraj Major, Jan Strejcek

Browse the full ICTAC paper archive.