Formal Specification of Multi-agent Systems by Using EUSMs.
Mercedes G. MerayoManuel NúñezIsmael RodríguezPublished in: FSEN (2007)
Keyphrases
- formal specification
- multi agent systems
- model checking
- object oriented design
- specification languages
- specification language
- concurrent systems
- multi agent
- game theory
- formal methods
- cooperative
- intelligent agents
- process algebra
- data abstraction
- agent architecture
- reverse engineering
- software components
- temporal logic
- artificial intelligence
- model checker
- machine learning
- fine grained
- high level