Deciding an Interval Logic with Accumulated Durations
Abstract elided by the publisher.
Related papers
- Digitizing Interval Duration Logic CAV 2003
- Bounded Validity Checking of Interval Duration Logic TACAS 2005
- On Sampling Abstraction of Continuous Time Logic with Durations TACAS 2007
- An Interval Compiler for Sound Floating-Point Computations CGO 2021
- Online Causation Monitoring of Signal Temporal Logic CAV 2023
- Durations for Truly-Concurrent Transitions ESOP 1996
- Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis CAV 2006
- From Duration Calculus To Linear Hybrid Automata CAV 1995