Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis

JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, pp. 593.0-621, 2018.

Cited by: 8|Bibtex|Views15|DOI:https://doi.org/10.1613/jair.5562
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments