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.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.otherPURE: 250513202
dc.identifier.otherPURE UUID: 0a462308-eb9e-4690-8b9f-c3bd355edf15
dc.identifier.otherArXiv: http://arxiv.org/abs/1602.00646v2
dc.identifier.otherScopus: 84963811641
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.language.isoeng
dc.publisherSpringer
dc.relation.ispartofModel Checking Softwareen
dc.relation.ispartofseriesLecture Notes in Computer Scienceen
dc.rightsCopyright The Author(s) 2016. This chapter is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, duplication, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, a link is provided to the Creative Commons license and any changes made are indicated. The images or other third party material in this chapter are included in the work’s Creative Commons license, unless indicated otherwise in the credit line; if such material is not included in the work’s Creative Commons license and the respective action is not permitted by statutory regulation, users will need to obtain permission from the license holder to duplicate, adapt or reproduce the material.en
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.description.versionPublisher PDFen
dc.contributor.institutionUniversity of St Andrews. School of Computer Scienceen
dc.identifier.doihttps://doi.org/10.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.