Inductive verification and validation of the KULRoT RoboCup team

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

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Original languageEnglish
Title of host publicationRoboCup-98: Robot Soccer World Cup II
Pages193-206
ISBN (Electronic)978-3-540-48422-6
DOIs
Publication statusPublished - 1999

Publication series

SeriesLecture Notes in Computer Science
Volume1604
ISSN0302-9743

Cite this

Driessens, K., Jacobs, N., Cossement, N., Monsieurs, P., & De Raedt, L. (1999). Inductive verification and validation of the KULRoT RoboCup team. In RoboCup-98: Robot Soccer World Cup II (pp. 193-206). Lecture Notes in Computer Science, Vol.. 1604 https://doi.org/10.1007/3-540-48422-1