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