Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332).
Thomas ÅgotnesNils BullingPublished in: Dagstuhl Reports (2014)
Keyphrases
- formal methods
- multi agent systems
- autonomous agents
- formal analysis
- knowledge based systems
- model checking
- multi agent
- software engineering
- process algebra
- coordination mechanisms
- formal specification
- safety critical
- agent systems
- agent architecture
- model checker
- coalition formation
- provably correct
- cooperative
- intelligent agents
- artificial intelligence
- software agents
- temporal properties
- formal specification language
- agent technology
- game theory
- reactive systems
- distributed systems
- software systems
- dynamic environments
- object oriented
- expert systems