Angelo Ferrando 0001 Louise A. Dennis Davide Ancona Michael Fisher 0001 Viviana Mascardi Recognising Assumption Violations in Autonomous Systems Verification. 1933-1935 2018 AAMAS http://dl.acm.org/citation.cfm?id=3238028 conf/atal/2018 db/conf/atal/aamas2018.html#FerrandoDA0M18