Zobrazeno 1 - 10
of 42
pro vyhledávání: '"Khalimov, Ayrat"'
Autor:
Ehlers, Rüdiger, Khalimov, Ayrat
Chains of co-B\"uchi automata (COCOA) have recently been introduced as a new canonical representation of omega-regular languages. The co-B\"uchi automata in a chain assign to each omega-word its natural color, which depends only on the language itsel
Externí odkaz:
http://arxiv.org/abs/2410.01021
Autor:
Ehlers, Rüdiger, Khalimov, Ayrat
Generalized Reactivity(1) (GR(1)) synthesis is a reactive synthesis approach in which the specification is split into two parts: a symbolic game graph, describing the safe transitions of a system, a liveness specification in a subset of Linear Tempor
Externí odkaz:
http://arxiv.org/abs/2402.02979
Autor:
Jacobs, Swen, Perez, Guillermo A., Abraham, Remco, Bruyere, Veronique, Cadilhac, Michael, Colange, Maximilien, Delfosse, Charly, van Dijk, Tom, Duret-Lutz, Alexandre, Faymonville, Peter, Finkbeiner, Bernd, Khalimov, Ayrat, Klein, Felix, Luttenberger, Michael, Meyer, Klara, Michaud, Thibaud, Pommellet, Adrien, Renkin, Florian, Schlehuber-Caissier, Philipp, Sakr, Mouhammad, Sickert, Salomon, Staquet, Gaetan, Tamines, Clement, Tentrup, Leander, Walker, Adam
We report on the last four editions of the reactive synthesis competition (SYNTCOMP 2018-2021). We briefly describe the evaluation scheme and the experimental setup of SYNTCOMP. Then, we introduce new benchmark classes that have been added to the SYN
Externí odkaz:
http://arxiv.org/abs/2206.00251
We study synthesis of reactive systems interacting with environments using an infinite data domain. A popular formalism for specifying and modelling such systems is register automata and transducers. They extend finite-state automata by adding regist
Externí odkaz:
http://arxiv.org/abs/2205.01952
We study synthesis of reactive systems interacting with environments using an infinite data domain. A popular formalism for specifying and modelling such systems is register automata and transducers. They extend finite-state automata by adding regist
Externí odkaz:
http://arxiv.org/abs/2105.09978
In a Church synthesis game, two players, Adam and Eve, alternately pick some element in a finite alphabet, for an infinite number of rounds. The game is won by Eve if the omega-word formed by this infinite interaction belongs to a given language S, c
Externí odkaz:
http://arxiv.org/abs/2004.12141
Autor:
Jacobs, Swen, Bloem, Roderick, Colange, Maximilien, Faymonville, Peter, Finkbeiner, Bernd, Khalimov, Ayrat, Klein, Felix, Luttenberger, Michael, Meyer, Philipp J., Michaud, Thibaud, Sakr, Mouhammad, Sickert, Salomon, Tentrup, Leander, Walker, Adam
We report on the fifth reactive synthesis competition (SYNTCOMP 2018). We introduce four new benchmark classes that have been added to the SYNTCOMP library, and briefly describe the evaluation scheme and the experimental setup of SYNTCOMP 2018. We gi
Externí odkaz:
http://arxiv.org/abs/1904.07736
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.
Reactive synthesis aims at automatic construction of systems from their behavioural specifications. The research mostly focuses on synthesis of systems dealing with Boolean signals. But real-life systems are often described using bit-vectors, integer
Externí odkaz:
http://arxiv.org/abs/1809.05017
Autor:
Khalimov, Ayrat
Reactive synthesis is an automatic way to translate a human intention expressed in some logic into a system of some kind. This thesis has two parts, devoted to logic and to systems. In Part I, we develop two new approaches to CTL* synthesis. The firs
Externí odkaz:
http://arxiv.org/abs/1808.09430