Regular Linear Temporal Logic

DOI10.1007/978-3-540-75292-9_20zbMath1147.03305OpenAlexW1513400763MaRDI QIDQ3525092

César Sánchez, Martin Leucker

Publication date: 17 September 2008

Published in: Theoretical Aspects of Computing – ICTAC 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75292-9_20

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Temporal logic (03B44)

Related Items (20)

On the Model Checking Problem for Some Extension of CTL* ⋮ Bounded model checking of ETL cooperating with finite and looping automata connectives ⋮ Parameterized linear temporal logics meet costs: still not costlier than LTL ⋮ Model checking interval temporal logics with regular expressions ⋮ Robust, expressive, and quantitative linear temporal logics: pick any two for free ⋮ Automated temporal verification for algebraic effects ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Impartial Anticipation in Runtime-Verification ⋮ Visibly rational expressions ⋮ Visibly linear temporal logic ⋮ Parametric linear dynamic logic ⋮ Quantitative Verification of Stochastic Regular Expressions ⋮ Compositional reasoning using intervals and time reversal ⋮ Almost event-rate independent monitoring ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Distributed synthesis for parameterized temporal logics ⋮ Visibly linear dynamic logic ⋮ On relation between linear temporal logic and quantum finite automata ⋮ On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic

This page was built for publication: Regular Linear Temporal Logic