3 citations · 4 across the 2 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
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…
cs.FL2019★ 3 cited
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…