From States to Transitions: Improving Translation of LTL Formulae to Bchi Automata.

Dimitra Giannakopoulou, Flavio Lerda

Browse the full FORTE paper archive.