Counting Models of Linear-Time Temporal Logic

DOI10.1007/978-3-319-04921-2_29zbMath1407.68288OpenAlexW82353766MaRDI QIDQ5404927

Hazem Torfah, Bernd Finkbeiner

Publication date: 31 March 2014

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-04921-2_29

zbMATH Keywords

synthesismodel checkingtemporal logictree automatamodel counting

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items

The Complexity of Linear-Time Temporal Logic Model Repair, The complexity of counting models of linear-time temporal logic