Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Dave, Vrunda"'
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 represented as Kripke structures, the properties as $\omega$-regular lang
Externí odkaz:
http://arxiv.org/abs/2207.13416
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, does there exist a language I in S separating A and B (i.e., I is a sup
Externí odkaz:
http://arxiv.org/abs/2005.09489
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 rational relations over infinite (or finite) strings. We extend the reg
Externí odkaz:
http://arxiv.org/abs/1910.09072
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 that every regular function, either on finite words or on infinite words,
Externí odkaz:
http://arxiv.org/abs/1802.02094
Publikováno v:
In Information and Computation January 2022 282
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-order logic and first-order logic), two-way machines (regular two-way
Externí odkaz:
http://arxiv.org/abs/1607.04910
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 2, p1-29, 29p
Publikováno v:
Developments in Language Theory: 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings; 2016, p38-50, 13p
Autor:
Bhave, Devendra, Dave, Vrunda, Krishna, Shankara Narayanan, Phawade, Ramchandra, Trivedi, Ashutosh
Publikováno v:
Language & Automata Theory & Applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings; 2016, p89-101, 13p