Inductive Verification and Validation of the KULRoT RoboCup Team.
Kurt DriessensNico JacobsNathalie CossementPatrick MonsieursLuc De RaedtPublished in: RoboCup (1998)
Keyphrases
- robotic soccer
- robot soccer
- multiagent systems
- medium size
- robocup soccer
- soccer game
- soccer games
- model checking
- inductive learning
- formal verification
- autonomous agents
- machine learning
- signature verification
- multi agent
- verification method
- inductive reasoning
- face verification
- inductive logic programming
- world cup
- person identification
- inductive concept learning
- humanoid robot
- test bed
- cooperative
- real robot
- complex domains
- formal methods
- team members
- model validation
- software development
- knowledge representation
- artificial intelligence
- real world