3 citations · 5 across the 13 of their papers we have counts for
3 papers · 1 filter
MightyPPL: Verification of MITL with Past and Pnueli Modalities
Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani +2
Metric Interval Temporal Logic (MITL) is a popular formalism for specifying properties of reactive systems with timing constraints. Existing approaches to using MITL in verificatio…
A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence
Gabriel de Albuquerque Gleizer, Khushraj Nanik Madnani, Manuel Mazo
This paper studies the reduction (abstraction) of finite-state transition systems for control synthesis problems. We revisit the notion of alternating simulation equivalence (ASE),…
Logics Meet 2-Way 1-Clock Alternating Timed Automata
Shankara Narayanan Krishna, Khushraj Nanik Madnani, Manuel Mazo +1
In this paper, we study the extension of 1-clock Alternating Timed Automata (1-ATA) with the ability to read in both forward and backward direction, the 2-Way 1-clock Alternating T…