authors
- BENAC EARLE, CLARA
- FREDLUND, LARS-AKE
- IGLESIAS MARTINEZ, JOSE ANTONIO
- LEDEZMA ESPINO, AGAPITO ISMAEL
Verifying Robocup Teams
Conference Contributions
Overview
event
- MOCHART-2008: The Fifth International Workshop on Model Cheking and Artificial Intelligence
event place
- Patras
country
- GRECIA
participation category
- COMUNICACIÓN
main title
- Proceedings of the MOCHART (Model Checking and Artificial Intelligence) Workshop 2008
publication date
- 2008