Inductive Verification and Validation of the KULRoT RoboCup Team.

Kurt Driessens, Nico Jacobs, Nathalie Cossement, Patrick Monsieurs, Luc De Raedt

Browse the full RoboCup paper archive.