Provably-correct stochastic motion planning with safety constraints

Proceedings - IEEE International Conference on Robotics and Automation

Volumn , Issue , 2013, Pages 981-986

  Yoo, Chanyeol ^a   Fitch, Robert ^a   Sukkarieh, Salah ^a  

^a UNIVERSITY OF SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

MARKOV DECISION PROCESSES; MOBILITY PREDICTIONS; OUTDOOR NAVIGATION; PROBABILISTIC COMPUTATION TREE LOGIC (PCTL); QUANTITATIVE MEASURES; SAFETY CONSTRAINT; STOCHASTIC MOTION; WEIGHTED COST FUNCTIONS;

ALGORITHMS; MARKOV PROCESSES; MODEL CHECKING; ROBOTICS; ROBOTS; SAFETY ENGINEERING; STOCHASTIC SYSTEMS;

MOTION PLANNING;

EID: 84887274862     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRA.2013.6630692     Document Type: Conference Paper

References (15)

1. K Ferentinos, K Arvanitis, and N Sigrimis, "Heuristic optimization methods for motion planning of autonomous agricultural vehicles," 1 Global Optim., vol 23, pp 155-170, 2002.
2. M Seotsanyana, "Temporal logic motion planning," DEFENCE SCI J, vol 60, no 1, pp 23-38, 2010.
3. T A B S B Karumanchi, T L Allen and S J Scheding, "Nonparametric learning to aid path planning over slopes," Int 1 Robot Res., p 22, 2010.
4. S M LaValle, Planning Algorithms Cambridge University Press, 2006.
5. M Lahijanian, S Andersson, and C Belta, "A probabilistic approach for control of a stochastic system from LTL specifications," in Proc of IEEE CDC, 2009, pp 2236-2241.
6. M Lahijanian, J Wasniewski, S Andersson, and C Belta, "Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees," in Proc of IEEE ICRA, 2010, pp 3227-3232.
7. A Medina Ayala, S Andersson, and C Belta, "Temporal logic control in dynamic environments with probabilistic satisfaction guarantees," in Proc of IEEE IROS, 2011, pp 3108-3113.
8. A Biere, C Artho, and Y Schuppan, "Liveness checking as safety checking," Electron Notes TheO/: Comput Sci., vol 66, no 2, pp 160-177,2002.
9. J Burch and E Clarke, "Sequential circuit verification using symbolic model checking," in Proc of ACMIIEEE DAC, 1990, pp 46-51.
10. L Cortes, P Eles, and Z Peng, "Formal coverification of embedded systems using model checking," in Proc of EUROMICRO, 2000, pp 106-113.
11. B Johnson and H Kress-Gazit, "Probabilistic analysis of correctness of high-level robot behavior with sensor error," in Proc of Robotics: Science and Systems, 2011.
12. C Yoo, R Fitch, and S Sukkarieh, "Probabilistic temporal logic for motion planning with resource threshold constraints," in Proc of Robotics: Science and Systems,2012.
13. A Undurti and J P How, "An online algorithm for constrained POMDPs," in Proc of IEEE ICRA, 2010.
14. A Bry and N Roy, "Rapidly-exploring random belief trees for motion planning under uncertainty," in Proc of IEEE ICRA, 2011.
15. M Kwiatkowska, G Norman, and D Parker, "Stochastic model checking," in Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation, vol 4486 of LNCS Springer, 2007, pp 220-270.