Autonomous Agent Behaviour Modelled in PRISM - A Case Study.

Ruth Hoffmann Murray L. Ireland Alice Miller Gethin Norman Sandor M. Veres

Published in: SPIN (2016)

Keyphrases

autonomous agents
dynamic environments
multiagent systems
multi agent systems
multi agent
control architecture
generation algorithm
case study
test bed
open systems
mental states
bdi agents
computational systems
multi agent environments
heterogeneous agents