Counting Models of Linear-Time Temporal Logic

DOI10.1007/978-3-319-04921-2_29MaRDI QIDQ5404927zbMATH OpenOpenAlexFDO

Authors Bernd Finkbeiner, Hazem Torfah

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 checkingmodel countingtree automatatemporal logic

Mathematics Subject Classification ID

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

Recommendations

• The complexity of counting models of linear-time temporal logic
• The complexity of counting models of linear-time temporal logic
• Model-Checking Counting Temporal Logics on Flat Structures
• Continuous time temporal logic with counting
• One-variable first-order linear temporal logics with counting
• Deciding continuous-time metric temporal logic with counting modalities
• A model checker for linear time temporal logic
• Model-checking timed temporal logics
• A quantitative approach for linear temporal logic based on finite transition systems
• scientific article; zbMATH DE number 2196601

Cited in

(7)

• The complexity of counting models of linear-time temporal logic
• The complexity of counting models of linear-time temporal logic
• The Complexity of Linear-Time Temporal Logic Model Repair
• Timing conditions for linearizability in uniform counting networks
• scientific article; zbMATH DE number 2016845 (Why is no real title available?)
• Model-Checking Counting Temporal Logics on Flat Structures
• ACoRe: automated goal-conflict resolution

This page was built for publication: Counting Models of Linear-Time Temporal Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5404927)