Timed temporal logics

DOI10.1007/978-3-319-63121-9_11MaRDI QIDQ5217304zbMATH OpenOpenAlexFDO

Authors Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell

Publication date 24 February 2020

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-63121-9_11

Mathematics Subject Classification ID

Temporal logic (03B44) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model-checking timed temporal logics
• scientific article; zbMATH DE number 1304997
• scientific article; zbMATH DE number 1512710
• Temporal logics with local constraints (invited talk)
• On the expressivity and complexity of quantitative branching-time temporal logics

Cited in

(38)

• A formal definition of time in LOTOS
• Dynamic linear time temporal logic
• Min-max event-triggered computation tree logic
• Deductive temporal reasoning with constraints
• Event-based time-stamped claim logic
• Temporal logic with recursion
• Mixed-time signal temporal logic
• Temporal logic and state systems
• Unified temporal logic
• Linear temporal logic satisfaction in adversarial environments using secure control barrier certificates
• Alternating-time temporal logic
• A Dose of Timed Logic, in Guarded Measure
• Timed Temporal Logics for Abstracting Transient States
• Temporalising Logics: Fifteen Years After
• Parametric Metric Interval Temporal Logic
• Timing in music and modal temporal logic
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 4108727 (Why is no real title available?)
• scientific article; zbMATH DE number 1271171 (Why is no real title available?)
• scientific article; zbMATH DE number 1927553 (Why is no real title available?)
• scientific article; zbMATH DE number 1502114 (Why is no real title available?)
• Asymptotic behaviour in temporal logic
• The expressive power of clocks
• scientific article; zbMATH DE number 218548 (Why is no real title available?)
• scientific article; zbMATH DE number 4119592 (Why is no real title available?)
• Substructure Temporal Logic
• scientific article; zbMATH DE number 6787711 (Why is no real title available?)
• scientific article; zbMATH DE number 4182845 (Why is no real title available?)
• Graded Alternating-Time Temporal Logic
• CONCUR 2005 – Concurrency Theory
• Formal Modeling and Analysis of Timed Systems
• The tail-recursive fragment of timed recursive CTL
• Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
• Timed Petri nets and temporal linear logic
• Model checking timed recursive CTL
• Robust satisfaction of metric interval temporal logic objectives in adversarial environments
• When do you start counting? Revisiting counting and Pnueli modalities in timed logics
• Metric quantifiers and counting in timed logics and automata

This page was built for publication: Timed temporal logics

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