An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language.
Michael A. MedinaJoseph E. UrbanPublished in: ISADS (2007)
Keyphrases
- specification language
- agent architecture
- formal specification
- programming language
- description language
- multi agent
- multi agent systems
- intelligent agents
- multiagent systems
- autonomous agents
- symbolic execution
- software agents
- software environment
- reactive agents
- agent model
- multiple agents
- decision making
- mobile agents
- dynamic environments
- artificial intelligence
- case study
- database