@inbook{8ad5dd57e41c4a41b624d3216b464dfa,
title = "Inductive verification and validation of the KULRoT RoboCup team",
abstract = "As in many multi-agent applications, most RoboCup agents are complex systems, hard to construct and hard to check if they behave as intended. We present a technique to verify multi-agent systems based on inductive reasoning. Induction allows to derive general rules from specific examples (e.g. the inputs and outputs of software systems). Using inductive logic programming, partial declarative specifications of the software can be induced. These rules can be readily interpreted by the designers or users of the software, and can in turn result in changes to the software. The approach outlined was used to test the KULRoT RoboCup simulator team, which is briefly described.",
author = "K Driessens and Nico Jacobs and N Cossement and P Monsieurs and {De Raedt}, L",
year = "1999",
doi = "10.1007/3-540-48422-1",
language = "English",
isbn = "978-3-540-66320-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature Switzerland AG",
pages = "193--206",
booktitle = "RoboCup-98: Robot Soccer World Cup II",
}