Verifying Robocup Teams

Model Checking and Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00431-5_3 ◽

2009 ◽

pp. 34-48 ◽

Cited By ~ 4

Author(s):

Clara Benac Earle ◽

Lars-Åke Fredlund ◽

José Antonio Iglesias ◽

Agapito Ledezma

Download Full-text