10 citations · 13 across the 12 of their papers we have counts for
4 papers · 1 filter
Scope-Bounded Reachability in Valence Systems
Aneesh K. Shetty, S. Krishna, Georg Zetzsche
Multi-pushdown systems are a standard model for concurrent recursive programs, but they have an undecidable reachability problem. Therefore, there have been several proposals to un…
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…
One-way resynchronizability of word transducers
Sougata Bose, S. N. Krishna, Anca Muscholl +1
The origin semantics for transducers was proposed in 2014, and led to various characterizations and decidability results that are in contrast with the classical semantics. In this…
SD-Regular Transducer Expressions for Aperiodic Transformations
Luc Dartois, Paul Gastin, Shankara Narayanan Krishna
FO transductions, aperiodic deterministic two-way transducers, as well as aperiodic streaming string transducers are all equivalent models for first order definable functions. In t…