Model Checking Hybrid Multiagent Systems for the RoboCup.
Ulrich FurbachJan MurrayFalk SchmidsbergerFrieder StolzenburgPublished in: RoboCup (2007)
Keyphrases
- multiagent systems
- model checking
- robotic soccer
- multi agent
- temporal logic
- temporal properties
- symbolic model checking
- model checker
- autonomous agents
- finite state
- formal verification
- formal specification
- automated verification
- verification method
- computation tree logic
- bounded model checking
- epistemic logic
- timed automata
- multi agent systems
- transition systems
- cooperative
- reactive systems
- formal methods
- trust model
- dynamic programming
- search algorithm