Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice

Louise A. Dennis; Jonathan M. Aitken; Joe Collenette; Elisa Cucco; Maryam Kamali; Owen McAree; Affan Shaukat; Katie Atkinson; Yang  Gao; Sandor M. Veres; Michael Fisher

doi:10.1007/978-3-319-40379-3_8

Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice

Louise A. Dennis, Jonathan M. Aitken, Joe Collenette, Elisa Cucco, Maryam Kamali, Owen McAree, Affan Shaukat, Katie Atkinson, Yang Gao, Sandor M. Veres, Michael Fisher

Formal Methods

Research output: Other contribution › peer-review

Original language	Undefined
DOIs	https://doi.org/10.1007/978-3-319-40379-3_8
Publication status	Published - 2016

Access to Document

10.1007/978-3-319-40379-3_8

Cite this

@misc{c7ca142122fd40b09762f6526764f821,

title = "Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice",

author = "Dennis, {Louise A.} and Aitken, {Jonathan M.} and Joe Collenette and Elisa Cucco and Maryam Kamali and Owen McAree and Affan Shaukat and Katie Atkinson and Yang Gao and Veres, {Sandor M.} and Michael Fisher",

year = "2016",

doi = "10.1007/978-3-319-40379-3_8",

language = "Undefined",

type = "Other",

}

TY - GEN

T1 - Agent-Based Autonomous Systems and Abstraction Engines

T2 - Theory Meets Practice

AU - Dennis, Louise A.

AU - Aitken, Jonathan M.

AU - Collenette, Joe

AU - Cucco, Elisa

AU - Kamali, Maryam

AU - McAree, Owen

AU - Shaukat, Affan

AU - Atkinson, Katie

AU - Gao, Yang

AU - Veres, Sandor M.

AU - Fisher, Michael

PY - 2016

Y1 - 2016

U2 - 10.1007/978-3-319-40379-3_8

DO - 10.1007/978-3-319-40379-3_8

M3 - Other contribution

ER -