[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.]
|
