metric interval temporal logic 1region abstraction 1satisfiability 1symbolic verification 1temporal obligations 1
From the 1 of 2 linked papers with an AI index.
2 papers
cs.LO2026
A Simple Obligation to Metric Interval Temporal Logic
Patricia Bouyer, B Srivathsan, Vaishnavi Vishwanath
The paper introduces a simpler, symbolic method for checking satisfiability of Metric Interval Temporal Logic (MITL) by tracking time‑constrained obligations and using a mechanism…
cs.LO2026
Model-checking real-time systems: revisiting the alternating automaton route
Patricia Bouyer, B Srivathsan, Vaishnavi Vishwanath
Alternating timed automata (ATA) are an extension of timed automata, that are closed under complementation and hence amenable to logic-to-automata translations. Several timed logic…