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…