Formal Assurance for Cooperative Intelligent Autonomous Agents.
Siddhartha BhattacharyyaThomas C. EskridgeNatasha A. NeogiMarco M. CarvalhoMilton StaffordPublished in: NFM (2018)
Keyphrases
- autonomous agents
- cooperative
- multi agent systems
- multi agent
- dynamic environments
- multiagent systems
- distributed control
- incomplete information
- agent negotiation
- multi agent environments
- resource bounded
- complex environments
- intelligent systems
- agent technology
- control architecture
- open systems
- changing environment
- coalition formation
- learning capabilities
- distributed artificial intelligence
- intelligent behavior
- distributed problem solving
- game theory
- mental states
- virtual humans
- learning agents
- agent architecture
- software agents