On solving temporal logic queries

DOI10.1007/3-540-45719-4_12MaRDI QIDQ2996133zbMATH OpenOpenAlexFDO

Authors Samuel Hornus, Philippe Schnoebelen

Publication date 6 May 2011

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45719-4_12

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Variants of LTL query checking
• Computer Science Logic
• Automata, Languages and Programming
• scientific article; zbMATH DE number 1670794
• Min-max Computation Tree Logic

Cited in

(11)

• Queries on ontologies with temporal dependences on Allen's extended interval logic
• Min-max event-triggered computation tree logic
• Modeling and querying biomolecular interaction networks
• On the feasibility of checking temporal integrity constraints
• scientific article; zbMATH DE number 1670794 (Why is no real title available?)
• Finding State Solutions to Temporal Logic Queries
• Handling database updates in two-dimensional temporal logic
• Search strategies for resolution in temporal logics
• Computer Science Logic
• Variants of LTL query checking
• Automata, Languages and Programming

This page was built for publication: On solving temporal logic queries

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