Recognising Assumption Violations in Autonomous Systems Verification



Ferrando, Angelo ORCID: 0000-0002-8711-4670, Dennis, LA ORCID: 0000-0003-1426-1896, Ancona, Davide, Fisher, Michael and Mascardi, Viviana
(2018) Recognising Assumption Violations in Autonomous Systems Verification. In: Autonomous Agents and Multi-agent Systems, Stockholm, Sweden.

[img] Text
aamas18.pdf - Accepted Version

Download (419kB)
Item Type: Conference or Workshop Item
Depositing User: Symplectic Admin
Date Deposited: 12 Jun 2018 09:06
Last Modified: 15 Nov 2019 20:15
Open Access URL: http://ifaamas.org/Proceedings/aamas2018/pdfs/p193...
URI: http://livrepository.liverpool.ac.uk/id/eprint/3022440
Repository Staff Access