Show simple item record

Files in this item

Thumbnail
Name:
Hoffman_2017_Autonomous_agent_behaviour_SPIN2016_104_CC.pdf
Size:
208.4Kb
Format:
PDF
View/Open

Autonomous agent behaviour modelled in PRISM -- a case study

Item metadata

dc.contributor.authorHoffmann, Ruth
dc.contributor.authorIreland, Murray
dc.contributor.authorMiller, Alice
dc.contributor.authorNorman, Gethin
dc.contributor.authorVeres, Sandor
dc.contributor.editorBošnački, Dragan
dc.contributor.editorWijs, Anton
dc.date.accessioned2017-07-13T15:30:14Z
dc.date.available2017-07-13T15:30:14Z
dc.date.issued2016
dc.identifier250513202
dc.identifier0a462308-eb9e-4690-8b9f-c3bd355edf15
dc.identifier84963811641
dc.identifier.citationHoffmann , R , Ireland , M , Miller , A , Norman , G & Veres , S 2016 , Autonomous agent behaviour modelled in PRISM -- a case study . in D Bošnački & A Wijs (eds) , Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings . Lecture Notes in Computer Science , vol. 9641 , Springer , Cham , pp. 104-110 , 23rd International SPIN Symposium on Model Checking of Software , Eindhoven , Netherlands , 7/04/16 . https://doi.org/10.1007/978-3-319-32582-8_7en
dc.identifier.citationconferenceen
dc.identifier.isbn9783319325811
dc.identifier.isbn9783319325828
dc.identifier.issn0302-9743
dc.identifier.otherArXiv: http://arxiv.org/abs/1602.00646v2
dc.identifier.otherORCID: /0000-0002-1011-5894/work/35084067
dc.identifier.urihttps://hdl.handle.net/10023/11199
dc.descriptionThis work was supported by the Engineering and Physical Sciences Research Council [grant number EP/N508792/1].en
dc.description.abstractFormal verification of agents representing robot behaviour is a growing area due to the demand that autonomous systems have to be proven safe. In this paper we present an abstract definition of autonomy which can be used to model autonomous scenarios and propose the use of small-scale simulation models representing abstract actions to infer quantitative data. To demonstrate the applicability of the approach we build and verify a model of an unmanned aerial vehicle (UAV) in an exemplary autonomous scenario, utilising this approach.
dc.format.extent213423
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofModel Checking Softwareen
dc.relation.ispartofseriesLecture Notes in Computer Scienceen
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subjectT Technologyen
dc.subjectNDASen
dc.subject.lccQA75en
dc.subject.lccTen
dc.titleAutonomous agent behaviour modelled in PRISM -- a case studyen
dc.typeConference itemen
dc.contributor.institutionUniversity of St Andrews. School of Computer Scienceen
dc.identifier.doi10.1007/978-3-319-32582-8_7


This item appears in the following Collection(s)

Show simple item record

Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.