Systematic verification of multi-agent systems based on rigorous executable specifications.
Holger GieseFlorian KleinPublished in: Int. J. Agent Oriented Softw. Eng. (2007)
Keyphrases
- multi agent systems
- formal specification
- bounded model checking
- model checking
- concurrent systems
- process algebra
- automated verification
- model checker
- asynchronous circuits
- formal verification
- control flow
- attribute grammars
- coalition logic
- formal methods
- temporal logic
- protocol specification
- specification language
- multi agent
- agent architecture
- autonomous agents
- intelligent agents
- complex systems
- agent systems
- verification method
- multi agent reinforcement learning
- game theory
- data flow
- reverse engineering
- coalition formation
- finite state machines
- qualitative and quantitative
- agent oriented
- software agents
- computational logic
- face verification
- normative systems
- distributed systems
- functional verification
- agent technology
- cooperative