Attività

Invited Talks

From Abstract Plans to Concrete Strategies: Synthesizing Controllers in Nondeterministic Domains via Situation Calculus and Golog

City St George's, University of London, UK · April 2025

[abstract] [slides]

Logical frameworks for planning under uncertainty often rely on abstracting complex domains and reasoning over temporally extended goals. The situation calculus and Golog are well-established formalisms for modeling dynamic systems and specifying high-level agent behavior. This talk presents two complementary approaches to strategy synthesis in nondeterministic domains. The first introduces a notion of temporal abstraction, where a family of concrete planning problems is captured by a single propositional nondeterministic model. Strategies are synthesized at the abstract level and can be provably refined to work across all concrete instances via a sound refinement mapping. The second approach explores the use of Golog programs as procedural specifications in FOND domains. By compiling such programs into symbolic automata, we enable the application of automata-theoretic methods to construct robust controllers that realize the specified behaviors under adversarial environments.