www.prismmodelchecker.org
[Wel21] Andrew Wells. Synthesis for Stochastic Robotic Systems. Ph.D. thesis, Rice University. 2021. [Proposes various synthesis techniques for robots in stochastic environments, using PRISM and PRISM-games.]
Links: [Google] [Google Scholar]

Publications