A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic

Download PDF
Open Webpage

Rüdiger Ehlers, Martin Lange

Published: 2014, Last Modified: 23 Jan 2026IJCAR 2014EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Interval Temporal Logic (ITL) is a powerful formalism to reason about sequences of events that can occur simultaneously and in an overlapping fashion. Despite its importance for various application domains, little tool support for automated ITL reasoning is available, possibly also owed to ITL’s undecidability.