Can I read Non-Deterministic Planning Synthesis on EtoBox?
Non-Deterministic Planning Synthesis by Old Cool is a document available to read on EtoBox.
What is Non-Deterministic Planning Synthesis about?
This paper explores the relationship between automated planning and reactive synthesis, focusing on fully observable non-deterministic (FOND) planning. It introduces a declarative characterization of fairness assumptions in non-deterministic planning and presents an encoding that mitigates state space blowup for reactive synthesis. The authors argue that their contributions enhance understanding and collaboration between the planning and controller synthesis communities.
- Author
- Old Cool
- Language
- EN