Browse by People

Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 1.

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.

This list was generated on Sat Apr 10 11:55:13 2021 BST.