Fast Translation from LTL to Bchi Automata via Non-transition-based Automata.

Shohei Mochizuki, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

Browse the full ICFEM paper archive.