Keyphrases
- model checking
- temporal logic
- team members
- robot soccer
- computation tree logic
- robotic soccer
- temporal properties
- bounded model checking
- knowledge base
- virtual teams
- epistemic logic
- transition systems
- search algorithm
- information systems
- genetic algorithm
- symbolic model checking
- cooperating agents
- information retrieval