Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk)

Author Sheila A. McIlraith

Thumbnail PDF


  • Filesize: 214 kB
  • 1 pages

Document Identifiers

Author Details

Sheila A. McIlraith

Cite AsGet BibTex

Sheila A. McIlraith. Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk). In 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 90, p. 3:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)


The proliferation of programmable devices, personal assistants, and autonomous systems presents fundamental challenges to the deployment of safe, predictable systems that can work together, interact seamlessly with humans, and that are taskable and instructable by people who may not know how to program. In this talk, we will revisit the classical problem of program synthesis through the lens of AI automated planning. We will present recent advances in AI automated planning principles and computational methods that support the synthesis of plans with goals and preferences specified in Linear Temporal Logic and Regular Expressions. Moving from automated planning in deterministic domains to planning in nondeterministic domains, we will explore the pathway to synthesizing programs that are taskable and instructable by exploiting state-of-the-art AI planning technology.
  • planning
  • program synthesis
  • linear temporal logic
  • regular expressions


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads