www.prismmodelchecker.org
[CDLPB11] Igor Cizelj, Xu Chu Ding, Morteza Lahijanian, Alessandro Pinto and Calin Belta. Probabilistically Safe Vehicle Control in a Hostile Environment. In Proc. 18th World Congress of the International Federation of Automatic Control (IFAC). 2011. [bib] http://hyness.bu.edu/calin/Publications.html
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications