Model Checking Hybrid Multiagent Systems for the RoboCup.

Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg

Browse the full RoboCup paper archive.