Strategy Synthesis for Autonomous Agents Using PRISM.
Ruben GiaquintaRuth HoffmannMurray L. IrelandAlice MillerGethin NormanPublished in: NFM (2018)
Keyphrases
- autonomous agents
- dynamic environments
- multi agent systems
- incomplete information
- multiagent systems
- multi agent
- resource bounded
- distributed artificial intelligence
- complex environments
- changing environment
- heterogeneous agents
- agent negotiation
- control architecture
- bdi agents
- open systems
- cooperative
- computational systems
- agent behavior
- mental states
- coalition formation
- multi agent environments
- coordination mechanisms
- win win