Inductive verification and validation of the KULRoT RoboCup team

K Driessens*, Nico Jacobs, N Cossement, P Monsieurs, L De Raedt

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Fingerprint

Dive into the research topics of 'Inductive verification and validation of the KULRoT RoboCup team'. Together they form a unique fingerprint.

Computer Science

INIS

Keyphrases