"Model Checking Hybrid Multiagent Systems for the RoboCup."

Ulrich Furbach et al. (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics