1 citations · 2 across the 6 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2021
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…
cs.FL2020
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…