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

First Page	Meta Content
	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 Document Date: 2016-06-17 07:18:46 Open Document File Size: 208,42 KB Share Result on Facebook

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