2 papers
cs.LO2026
A Simple Obligation to Metric Interval Temporal Logic
Patricia Bouyer, B Srivathsan, Vaishnavi Vishwanath
Satisfiability of Metric Interval Temporal Logic (MITL) is a widely investigated subject. In this work, we present a new, and arguably simpler, approach for MITL satisfiability, ba…
cs.LO2025
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…