Title: Inductive verification and validation of the KULRot RoboCup team
Authors: Driessens, Kurt ×
Jacobs, Nico
Cossement, Nathalie
Monsieurs, Patrick
De Raedt, Luc #
Issue Date: 1999
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:1604 pages:193-206
Conference: Robot Soccer World Cup edition:2 location:Paris, France date:July 1998
Abstract: As in many other multi-agent applications, most RoboCup agents are complex systems, hard to construct and hard to verify whether 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.
ISBN: 978-3-540-66320-1
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
Electrical Engineering - miscellaneous
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
1998_robocup_driessens.pdf Published 236KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science