Verification within the KARO Agent Theory.
Ullrich HustadtClare DixonRenate A. SchmidtMichael FisherJohn-Jules Ch. MeyerWiebe van der HoekPublished in: FAABS (2000)
Keyphrases
- multi agent systems
- multi agent
- decision making
- theoretical basis
- intelligent agents
- multiagent systems
- model checking
- autonomous agents
- agent architecture
- interacting agents
- multiple agents
- agent systems
- speech acts
- formal theory
- mental imagery
- dynamic environments
- communicative acts
- interface agent
- cooperating agents
- asynchronous circuits
- general theory
- action selection
- cooperative
- software agents
- theoretical framework
- mobile agents