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