Zobrazeno 1 - 10
of 149
pro vyhledávání: '"Ehlers, Rüdiger"'
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
Runtime enforcement refers to the theories, techniques, and tools for enforcing correct behavior with respect to a formal specification of systems at runtime. In this paper, we are interested in techniques for constructing runtime enforcers for the c
Externí odkaz:
http://arxiv.org/abs/2208.14426
Automating string transformations has been one of the killer applications of program synthesis. Existing synthesizers that solve this problem produce programs in domain-specific languages (DSL) that are engineered to help the synthesizer, and therefo
Externí odkaz:
http://arxiv.org/abs/2208.05131
Autor:
Ehlers, Rüdiger, Schewe, Sven
While finite automata have minimal DFAs as a simple and natural normal form, deterministic omega-automata do not currently have anything similar. One reason for this is that a normal form for omega-regular languages has to speak about more than accep
Externí odkaz:
http://arxiv.org/abs/2207.11000
Publikováno v:
EPTCS 346, 2021, pp. 52-66
We study the problem of synthesizing implementations from temporal logic specifications that need to work correctly in all environments that can be represented as transducers with a limited number of states. This problem was originally defined and st
Externí odkaz:
http://arxiv.org/abs/2109.08316
Autor:
Elsayed-Aly, Ingy, Bharadwaj, Suda, Amato, Christopher, Ehlers, Rüdiger, Topcu, Ufuk, Feng, Lu
Multi-agent reinforcement learning (MARL) has been increasingly used in a wide range of safety-critical applications, which require guaranteed safety (e.g., no unsafe states are ever visited) during the learning process.Unfortunately, current MARL me
Externí odkaz:
http://arxiv.org/abs/2101.11196
Publikováno v:
In Transportation Research Procedia 2024 78:554-561
Autor:
Kress-Gazit, Hadas, Eder, Kerstin, Hoffman, Guy, Admoni, Henny, Argall, Brenna, Ehlers, Ruediger, Heckman, Christoffer, Jansen, Nils, Knepper, Ross, Křetínský, Jan, Levy-Tzedek, Shelly, Li, Jamy, Murphey, Todd, Riek, Laurel, Sadigh, Dorsa
Robot capabilities are maturing across domains, from self-driving cars, to bipeds and drones. As a result, robots will soon no longer be confined to safety-controlled industrial settings; instead, they will directly interact with the general public.
Externí odkaz:
http://arxiv.org/abs/2006.16732
We study \emph{partial-information} two-player turn-based games on graphs with omega-regular objectives, when the partial-information player has \emph{limited memory}. Such games are a natural formalization for reactive synthesis when the environment
Externí odkaz:
http://arxiv.org/abs/2002.07274