3 citations · 4 across the 2 of their papers we have counts for
6 papers
Optimal Repair For Omega-regular Properties
Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali +1
This paper presents an optimization based framework to automate system repair against omega-regular properties. In the proposed formalization of optimal repair, the systems are rep…
On the Separability Problem of String Constraints
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave +1
We address the separability problem for straight-line string constraints. The separability problem for languages of a class C by a class S asks: given two languages A and B in C, d…
Regular Model Checking with Regular Relations
Vrunda Dave, Taylor Dohmen, Shankara Narayana Krishna +1
Regular model checking is an exploration technique for infinite state systems where state spaces are represented as regular languages and transition relations are expressed using r…
Synthesis of Computable Regular Functions of Infinite Words
V. Dave, E. Filiot, S. Krishna +1
Regular functions from infinite words to infinite words can be equivalently specified by MSO-transducers, streaming -string transducers as well as deterministic two-way transduc…
Regular Transducer Expressions for Regular Transformations
Vrunda Dave, Paul Gastin, Krishna Shankara Narayanan
Functional MSO transductions, deterministic two-way transducers, as well as streaming string transducers are all equivalent models for regular functions. In this paper, we show tha…
FO-definable transformations of infinite strings
Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi
The theory of regular and aperiodic transformations of finite strings has recently received a lot of interest. These classes can be equivalently defined using logic (Monadic second…