Autonomous Agent Behaviour Modelled in PRISM - A Case Study.

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

Published in: CoRR (2016)

Keyphrases

autonomous agents
dynamic environments
multi agent systems
multiagent systems
case study
multi agent
control architecture
test bed
heterogeneous agents
changing environment
multi agent environments
open systems
machine learning
probabilistic model
reinforcement learning
distributed control
real time