Marc Spisländer, Francesca Saglietti. Evidence-Based Verification of Safety Properties Concerning the Cooperation of Autonomous Agents. In Tomás Bures, Lefteris Angelis, editors, 44th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2018, Prague, Czech Republic, August 29-31, 2018. pages 81-88, IEEE Computer Society, 2018. [doi]
Abstract is missing.