@inproceedings{inproceedings, title = {{Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice}}, publisher = {{Springer International Publishing}}, url = {{http://eprints.whiterose.ac.uk/118635/ }}, year = {{2016}}, month = {{6}}, author = {{Dennis LA and Aitken JM and Collenette J and Cucco E and Kamali M and McAree O and Shaukat A and Atkinson K and Gao Y and Veres SM and Fisher M}}, doi = {{10.1007/978-3-319-40379-3_8}}, isbn = {{9783319403786}}, pages = {{75-86}}, note = {{Accessed on 2025/07/17}}}