C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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