13 citations · 32 across the 18 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.FL2021
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…
cs.LO2021
Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers
Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo +1
Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) are prominent real-time extensions of Linear Temporal Logic (LTL). In general, the satisfiability checking…