We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.FL

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: Adapting to the Behavior of Environments with Bounded Memory

Authors: Dhananjay Raju (The University of Texas at Austin), Rüdiger Ehlers (Clausthal University of Technology), Ufuk Topcu (The University of Texas at Austin)
Abstract: 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 studied by Kupferman, Lustig, Vardi, and Yannakakis. They provide NP and 2-EXPTIME lower and upper bounds (respectively) for the complexity of this problem, in the size of the transducer. We tighten the gap by providing a PSPACE lower bound, thereby showing that algorithms for solving this problem are unlikely to scale to large environment sizes. This result is somewhat unfortunate as solving this problem enables tackling some high-level control problems in which an agent has to infer the environment behavior from observations. To address this observation, we study a modified synthesis problem in which the synthesized controller must gather information about the environment's behavior safely. We show that the problem of determining whether the behavior of such an environment can be safely learned is only co-NP-complete. Furthermore, in such scenarios, the behavior of the environment can be learned using a Turing machine that requires at most polynomial space in the size of the environment's transducer.
Comments: In Proceedings GandALF 2021, arXiv:2109.07798
Subjects: Formal Languages and Automata Theory (cs.FL); Computer Science and Game Theory (cs.GT)
ACM classes: D.2.3; B.1.2;
Journal reference: EPTCS 346, 2021, pp. 52-66
DOI: 10.4204/EPTCS.346.4
Cite as: arXiv:2109.08316 [cs.FL]
  (or arXiv:2109.08316v1 [cs.FL] for this version)

Submission history

From: EPTCS [view email]
[v1] Fri, 17 Sep 2021 02:31:24 GMT (85kb,D)

Link back to: arXiv, form interface, contact.