Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher 0001, Viviana Mascardi. Recognising Assumption Violations in Autonomous Systems Verification. In Elisabeth André, Sven Koenig, Mehdi Dastani, Gita Sukthankar, editors, Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018. pages 1933-1935, International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM, 2018. [doi]
Abstract is missing.