www.prismmodelchecker.org
[LR12] Adalberto Llarena and David Rosenblueth. Model Checking Applied to Humanoid Robotic Soccer. In Advances in Autonomous Robotics, volume 7429 of LNCS, Springer. 2012. [Uses PRISM to synthesise parameters of probabilistic strategies for humanoid robotic football.]
Notes: The original publication is available at www.springerlink.com.

Publications