Autonomous Agent Behaviour Modelled in PRISM – A Case Study Ruth Hoﬀmann1(B) , Murray Ireland1 , Alice Miller1 , Gethin Norman1 , and Sandor Veres2 1 - substantial equivalence - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-06-17 07:18:46		Autonomous Agent Behaviour Modelled in PRISM – A Case Study Ruth Hoﬀmann1(B) , Murray Ireland1 , Alice Miller1 , Gethin Norman1 , and Sandor Veres2 1 Add to Reading List Source URL: eprints.gla.ac.uk Download Document from Source Website File Size: 208,42 KB Share Document on Facebook