Back to Results
First PageMeta Content



Autonomous Agent Behaviour Modelled in PRISM – A Case Study Ruth Hoffmann1(B) , Murray Ireland1 , Alice Miller1 , Gethin Norman1 , and Sandor Veres2 1
Add to Reading List

Document Date: 2016-06-17 07:18:46


Open Document

File Size: 208,42 KB

Share Result on Facebook
UPDATE