Regular Linear Temporal Logic
From MaRDI portal
Publication:3525092
DOI10.1007/978-3-540-75292-9_20zbMath1147.03305OpenAlexW1513400763MaRDI QIDQ3525092
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
Related Items
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
