@inproceedings{inproceedings, title = {{Agent-based autonomous systems and abstraction engines: Theory meets practice}}, publisher = {{Springer, Cham}}, url = {{https://eprints.whiterose.ac.uk/id/eprint/118635 https://doi.org/10.1007/978-3-319-40379-3_8 }}, 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}}, journal = {{Towards Autonomous Robotic Systems}}, issue = {{9716}}, pages = {{75-86}}, note = {{Accessed on 2025/12/06}}}