48 citations · 172 across the 22 of their papers we have counts for
4 papers · 1 filter
How Concise are Chains of co-Büchi Automata?
Rüdiger Ehlers
Chains of co-Büchi automata (COCOA) have recently been introduced as a new canonical model for representing arbitrary omega-regular languages. They can be minimized in polynomial t…
Adapting to the Behavior of Environments with Bounded Memory
Dhananjay Raju, Rüdiger Ehlers, Ufuk Topcu
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…
Playing Against Opponents With Limited Memory
Dhananjay Raju, Rüdiger Ehlers, Ufuk Topcu
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 a…
Reactive Safety
Rüdiger Ehlers, Bernd Finkbeiner
The distinction between safety and liveness properties is a fundamental classification with immediate implications on the feasibility and complexity of various monitoring, model ch…