10 citations · 44 across the 22 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.FL2024
MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
S. Akshay, Paul Gastin, R. Govind +1
The translation of Metric Interval Temporal Logic (MITL) to timed automata is a topic that has been extensively studied. A key challenge here is the conversion of future modalities…
cs.FL2024★ 3 cited
Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
Bharat Adsul, Paul Gastin, Shantanu Kulkarni +1
We propose a local, past-oriented fragment of propositional dynamic logic to reason about concurrent scenarios modelled as Mazurkiewicz traces, and prove it to be expressively comp…