TY - CONF T1 - Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice UR - http://eprints.whiterose.ac.uk/118635/ PY - 2016/06/21 AU - Dennis LA AU - Aitken JM AU - Collenette J AU - Cucco E AU - Kamali M AU - McAree O AU - Shaukat A AU - Atkinson K AU - Gao Y AU - Veres SM AU - Fisher M ED - DO - DOI: 10.1007/978-3-319-40379-3_8 PB - Springer International Publishing SN - 9783319403786 SP - 75 EP - 86 Y2 - 2024/12/25 ER -