Show simple item record

dc.contributor.authorBride, Hadrien
dc.contributor.authorDong, jin
dc.contributor.authorHou, Z
dc.contributor.authorMahony, Brendan
dc.contributor.authorOxenham, Martin
dc.date.accessioned2020-07-03T05:01:23Z
dc.date.available2020-07-03T05:01:23Z
dc.date.issued2018
dc.identifier.isbn978-3-030-02449-9
dc.identifier.issn0302-9743
dc.identifier.doi10.1007/978-3-030-02450-5_24
dc.identifier.urihttp://hdl.handle.net/10072/383956
dc.description.abstractTrust remains a major challenge in the development, implementation and deployment of artificial intelligence and autonomous systems in defence and law enforcement industries. To address the issue, we follow the verification as planning paradigm based on model checking techniques to solve planning and goal reasoning problems for autonomous systems. Specifically, we present a novel framework named Goal Reasoning And Verification for Independent Trusted Autonomous Systems (GRAVITAS) and discuss how it helps provide trustworthy plans in uncertain and dynamic environment.
dc.description.peerreviewedYes
dc.publisherSpringer Nature
dc.publisher.placeSwitzerland
dc.relation.ispartofconferencenameICFEM 2018
dc.relation.ispartofconferencetitleLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.relation.ispartofdatefrom2018-11-12
dc.relation.ispartofdateto2018-11-16
dc.relation.ispartoflocationGold Coast, Australia
dc.relation.ispartofpagefrom407
dc.relation.ispartofpagefrom5 pages
dc.relation.ispartofpageto411
dc.relation.ispartofpageto5 pages
dc.relation.ispartofvolume11232
dc.subject.fieldofresearchElectrical engineering
dc.subject.fieldofresearchElectronics, sensors and digital hardware
dc.subject.fieldofresearchInformation and computing sciences
dc.subject.fieldofresearchcode4008
dc.subject.fieldofresearchcode4009
dc.subject.fieldofresearchcode46
dc.titleTowards trustworthy AI for autonomous systems
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
dc.description.versionAccepted Manuscript (AM)
gro.rights.copyright© Springer Nature Switzerland AG 2018. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher.The original publication is available at www.springerlink.com
gro.hasfulltextFull Text
gro.griffith.authorDong, Jin-Song
gro.griffith.authorHou, Zhe


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record