15 search results - page 1 / 3 » Planning as Model Checking for Extended Goals in Non-determi... |
AIPS
1998
13 years 5 months ago
1998
JAIR
2000
13 years 4 months ago
2000
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
IJCAI
2001
13 years 6 months ago
2001
Recent research has addressed the problem of planning in non-deterministic domains. Classical planning has also been extended to the case of goals that can express temporal proper...
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
TSMC
2010
12 years 11 months ago
2010
Traditional planning assumes reachability goals and/or full observability. In this paper, we propose a novel solution for safety and reachability planning with partial observabilit...