Planning under partial observability by classical replanning: Theory and experiments

B Bonet, H Geffner - … of the Twenty-Second International Joint …, 2011 - repositori.upf.edu
Planning with partial observability can be formulated as a non-deterministic search problem
in belief space. The problem is harder than classical planning as keeping track of beliefs is …

Fault tolerant planning: Complexity and compilation

C Domshlak - Proceedings of the International Conference on …, 2013 - ojs.aaai.org
In the context of modeling and reasoning about agent actions, contingent and classical
planning can often be respectively seen as adopting``extreme pessimism''and``extreme …

Resilient, provably-correct, and high-level robot behaviors

KW Wong, R Ehlers… - IEEE Transactions on …, 2018 - ieeexplore.ieee.org
Whether robot controllers are manually designed or synthesized from high-level task
specifications, assumptions about the environment need to be made, which can involve …

[PDF][PDF] Acting in partially observable environments when achievement of the goal cannot be guaranteed

A Albore, H Geffner - Proc. of ICAPS Workshop on Planning and Plan …, 2009 - academia.edu
The problem of planning in partially observable environments can be regarded as a search
problem in belief space where beliefs express the collection of states that are deemed …

[PDF][PDF] A comprehensive approach to on-board autonomy verification and validation

M Bozzano, A Cimatti, M Roveri, A Tchaltsev - IJCAI, 2011 - researchgate.net
Deep space missions are characterized by severely constrained communication links and
often require intervention from Ground to overcome the difficulties encountered during the …

An online replanning approach for crop fields mapping with autonomous UAVs

A Albore, N Peyrard, R Sabbadin… - Proceedings of the …, 2015 - ojs.aaai.org
For managing production at the scale of crop fields, maps of plant pests are used to support
farmer decisions. Such maps are costly to obtain since they require intensive surveys in the …

[PDF][PDF] On-board autonomy via symbolic model-based reasoning

M Bozzano, A Cimatti, A Guiotto, A Martelli… - 10th ESA Workshop on …, 2008 - Citeseer
Deep space and remote planetary exploration missions are characterized by severely
constrained communication links and often require intervention from Ground to overcome …

[PDF][PDF] Making reasonable assumptions to plan with incomplete information

S Davis-Mendelow, J Baier… - HSDIP 2012, 2012 - icaps12.icaps-conference.org
Many practical planning problems necessitate the generation of a plan under incomplete
information about the state of the world. In this paper we propose the notion of Assumption …

A comprehensive approach to on-board autonomy verification and validation

M Bozzano, A Cimatti, M Roveri - ACM Transactions on Intelligent …, 2021 - dl.acm.org
Deep space missions are characterized by severely constrained communication links. To
meet the needs of future missions and increase their scientific return, future space systems …

[PDF][PDF] Making reasonable assumptions to plan with incomplete information: Abridged report

SF Davis-Mendelow, JA Baier… - Workshops at the Twenty …, 2012 - cdn.aaai.org
Many practical planning problems necessitate the generation of a plan under incomplete
information about the state of the world. In this paper we propose the notion of Assumption …