www.prismmodelchecker.org
[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
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications