@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 2024/12/22}}}