From LTL Formulae to Bchi Automata: A Direct Translation Using On-the-Fly De-Generalization.

Lai-Xiang Shan, Zheng Qin, Kaiping Xu, Xu Chen, Zhipeng Li

Browse the full APSEC paper archive.