Digitizing Interval Duration Logic
Abstract elided by the publisher.
Related papers
- Deciding an Interval Logic with Accumulated Durations TACAS 2007
- Bounded Validity Checking of Interval Duration Logic TACAS 2005
- On Sampling Abstraction of Continuous Time Logic with Durations TACAS 2007
- Durations for Truly-Concurrent Transitions ESOP 1996
- Timely Computation ICFP 2023
- Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis CAV 2006
- From Duration Calculus To Linear Hybrid Automata CAV 1995
- Probabilistic Duration Automata for Analyzing Real-Time Systems TACAS 1996