Probabilistic planning with formal performance guarantees for mobile service robots
- Submitting institution
-
The University of Birmingham
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 79695767
- Type
- D - Journal article
- DOI
-
10.1177/0278364919856695
- Title of journal
- The International Journal of Robotics Research
- Article number
- -
- First page
- 1098
- Volume
- 38
- Issue
- 9
- ISSN
- 0278-3649
- Open access status
- Compliant
- Month of publication
- June
- Year of publication
- 2019
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
3
- Research group(s)
-
-
- Citation count
- 6
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- The paper presents a novel approach for probabilistic robot planning,
using formal verification to produce rigorous guarantees on task
success, performance, and cost. It was the first work to develop such
techniques for task and navigation control of mobile robots in everyday
environments, and was subsequently used or extended for other domains
such as nuclear inspection and agriculture. The paper was published in a
leading robotics journal and is an extended version of a well-cited
paper in top AI conference IJCAI 2015. This thread of work was the basis
for invited tutorials at two international conferences: ICAPS and ICRA.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -