Concepts of Automata Construction from LTL

DOI10.1007/11591191_50zbMath1143.68436OpenAlexW1507105430MaRDI QIDQ5387877

Carsten Fritz

Publication date: 27 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11591191_50

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Temporal logic (03B44)

Related Items (4)

From linear temporal logics to Büchi automata: the early and simple principle ⋮ Linear temporal logic symbolic model checking ⋮ Transformation from PLTL to automata via NFGs ⋮ Automata-Theoretic Model Checking Revisited

Uses Software

• LTL2BA

This page was built for publication: Concepts of Automata Construction from LTL