TY  - RPRT
TI  - Autonomous Agent Behaviour Modelled in PRISM -- A Case Study
AU  - Ruth Hoffmann
AU  - Murray Ireland
AU  - Alice Miller
AU  - Gethin Norman
AU  - Sandor Veres
PY  - 2016
UR  - https://arxiv.org/abs/1602.00646
ID  - 1602.00646
ER  -