Formal Checklists for Remote Agent Dependability.
Grit DenkerCarolyn L. TalcottPublished in: WRLA (2004)
Keyphrases
- intelligent agents
- multi agent
- multi agent systems
- multiagent systems
- multiple agents
- complex systems
- software agents
- autonomous agents
- ambient intelligence
- agent architecture
- mobile agents
- dynamic environments
- decision making
- formal model
- agent technology
- formal specification
- agent model
- cognitive agents
- information systems
- agent environment
- formal methods
- real time
- formal representation
- interface agent
- communicative acts