Applying Type Theory to Formal Specification of Recursive Multiagent Systems.
Thi-Thanh-Ha HoangMichel OccelloThanh Binh NguyenPublished in: RIVF (2009)
Keyphrases
- multiagent systems
- formal specification
- formal methods
- design methodologies
- multi agent
- specification languages
- object oriented design
- autonomous agents
- model checking
- specification language
- process algebra
- reverse engineering
- multiagent planning
- multi agent systems
- coalition formation
- bdi agents
- multiagent learning
- concurrent systems
- cooperative
- design methodology
- distributed artificial intelligence
- case study
- agent coordination
- software components
- object oriented
- robotic soccer
- interaction protocols
- artificial intelligence