[LWAB10]
M. Lahijanian, J. Wasniewski, S. B. Andersson and C. Belta.
Motion Planning and Control from Temporal Logic Specifications with Probabilistic Satisfaction Guarantees.
In Proc. 2010 IEEE International Conference on Robotics and Automation, pages 3227-3232.
2010.
[bib]
http://hyness.bu.edu/calin/Publications.html
|
Links:
[Google]
[Google Scholar]
|
Available from:
http://hyness.bu.edu/calin/Publications.html
|