A Better Translation From LTL to Transition-Based Generalized Büchi Automata
Li, Weiwei, Kan, Shuanglong, Huang, ZhiqiuVolume:
5
Year:
2017
Language:
english
Journal:
IEEE Access
DOI:
10.1109/access.2017.2773123
File:
PDF, 2.24 MB
english, 2017