First Page | Document Content | |
---|---|---|
Date: 2016-06-17 07:18:46 | Autonomous Agent Behaviour Modelled in PRISM – A Case Study Ruth Hoffmann1(B) , Murray Ireland1 , Alice Miller1 , Gethin Norman1 , and Sandor Veres2 1Add to Reading ListSource URL: eprints.gla.ac.ukDownload Document from Source WebsiteFile Size: 208,42 KBShare Document on Facebook |