Regular Linear Temporal Logic

DOI10.1007/978-3-540-75292-9_20MaRDI QIDQ3525092zbMATH OpenOpenAlexFDO

Authors Martin Leucker, César Sánchez

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) Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• Regular linear temporal logic with past
• On the expressive power of temporal logic
• Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness
• Reasoning in a restricted temporal logic
• Hardware and Software, Verification and Testing

Cited in

(29)

• On Regular Temporal Logics with Past,
• Visibly linear temporal logic
• The decidability of RPTL
• Impartial Anticipation in Runtime-Verification
• Visibly linear dynamic logic
• Almost event-rate independent monitoring
• Temporal behavior trees: robustness and segmentation
• Regular linear temporal logic with past
• Model checking interval temporal logics with regular expressions
• On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• A product version of dynamic linear time temporal logic
• Quantitative Verification of Stochastic Regular Expressions
• Compositional reasoning using intervals and time reversal
• Automated temporal verification for algebraic effects
• On the Model Checking Problem for Some Extension of CTL*
• Visibly rational expressions
• Distributed synthesis for parameterized temporal logics
• Bounded model checking of ETL cooperating with finite and looping automata connectives
• Robust, expressive, and quantitative linear temporal logics: pick any two for free
• Parameterized linear temporal logics meet costs: still not costlier than LTL
• Robust, expressive, and quantitative linear temporal logics: pick any two for free
• On relation between linear temporal logic and quantum finite automata
• Linear temporal logic for regular cost functions
• On the Expressive Power of QLTL
• Parameterized linear temporal logics meet costs: still not costlier than LTL
• Parametric linear dynamic logic
• Hardware and Software, Verification and Testing
• Formal Methods in Computer-Aided Design

This page was built for publication: Regular Linear Temporal Logic

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