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

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

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)

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

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)