Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment

DOI10.1007/978-3-319-02444-8_4zbMath1414.03003arXiv1306.4636MaRDI QIDQ5166674

Jan Strejček, Mojmír Křetínský, František Blahoudek, Tomáš Babiak

Publication date: 8 July 2014

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1306.4636

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03D05: Automata and formal grammars in connection with logical questions

03B44: Temporal logic

Uses Software

• LTL2BA