On the Relationship between LTL Normal Forms and Büchi Automata
From MaRDI portal
Publication:2842641
DOI10.1007/978-3-642-39698-4_16zbMath1390.68435arXiv1207.3866OpenAlexW1946058167MaRDI QIDQ2842641
Jifeng He, Jianwen Li, Geguang Pu, Zheng Wang, Li-jun Zhang, Kim Guldstrand Larsen
Publication date: 16 August 2013
Published in: Theories of Programming and Formal Methods (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1207.3866
Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Uses Software
Cites Work