Timed Temporal Logics
From MaRDI portal
Publication:5217304
DOI10.1007/978-3-319-63121-9_11zbMath1431.03032OpenAlexW2738417919MaRDI QIDQ5217304
Joël Ouaknine, Nicolas Markey, François Laroussinie, Patricia Bouyer, 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
Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (3)
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 ⋮ Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates
This page was built for publication: Timed Temporal Logics
