Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, pp. 593.0-621, 2018.
We contribute to recent efforts in relating two approaches to automatic synthesis, namely, automated planning and discrete reactive synthesis. First, we develop a declarative characterization of the standard "fairness" assumption on environments in non-deterministic planning, and show that strong-cyclic plans are correct solution concepts...More
Full Text (Upload PDF)
PPT (Upload PPT)