Verifying Autonomous Systems

Michael Fisher; Louise Dennis; Matt  Webster

doi:10.1145/2494558

Verifying Autonomous Systems

Michael Fisher, Louise Dennis, Matt Webster

Autonomy and Verification

Research output: Contribution to journal › Article › peer-review

Abstract

Exploring autonomous systems and the agents that control them.

Original language	English
Pages (from-to)	84-93
Number of pages	10
Journal	Communications of the ACM
Volume	56
Issue number	9
DOIs	https://doi.org/10.1145/2494558
Publication status	Published - 1 Sept 2013

Access to Document

10.1145/2494558

Cite this

@article{253b429e664c4f748a9b8ccd1931265e,

title = "Verifying Autonomous Systems",

abstract = "Exploring autonomous systems and the agents that control them.",

author = "Michael Fisher and Louise Dennis and Matt Webster",

year = "2013",

month = sep,

day = "1",

doi = "10.1145/2494558",

language = "English",

volume = "56",

pages = "84--93",

journal = "Communications of the ACM",

issn = "0001-0782",

publisher = "Association for Computing Machinery",

number = "9",

}

TY - JOUR

T1 - Verifying Autonomous Systems

AU - Fisher, Michael

AU - Dennis, Louise

AU - Webster, Matt

PY - 2013/9/1

Y1 - 2013/9/1

N2 - Exploring autonomous systems and the agents that control them.

AB - Exploring autonomous systems and the agents that control them.

UR - http://doi.acm.org/10.1145/2494558

U2 - 10.1145/2494558

DO - 10.1145/2494558

M3 - Article

SN - 0001-0782

VL - 56

SP - 84

EP - 93

JO - Communications of the ACM

JF - Communications of the ACM

IS - 9

ER -

Verifying Autonomous Systems

Abstract

Access to Document

Other files and links

Fingerprint

Cite this