Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis
From MaRDI portal
Publication:5756746
DOI10.1007/11817963_25zbMath1188.68159OpenAlexW1688113412MaRDI QIDQ5756746
Publication date: 5 September 2007
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11817963_25
Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Temporal logic (03B44)
Related Items (6)
Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters ⋮ Monitoring first-order interval logic ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Unnamed Item ⋮ Linear temporal logic symbolic model checking ⋮ Branching interval algebra: an almost complete picture
Uses Software
This page was built for publication: Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis