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]
@inproceedings{SpislanderS18,
title = {Evidence-Based Verification of Safety Properties Concerning the Cooperation of Autonomous Agents},
author = {Marc Spisländer and Francesca Saglietti},
year = {2018},
doi = {10.1109/SEAA.2018.00023},
url = {http://doi.ieeecomputersociety.org/10.1109/SEAA.2018.00023},
researchr = {https://researchr.org/publication/SpislanderS18},
cites = {0},
citedby = {0},
pages = {81-88},
booktitle = {44th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2018, Prague, Czech Republic, August 29-31, 2018},
editor = {Tomás Bures and Lefteris Angelis},
publisher = {IEEE Computer Society},
isbn = {978-1-5386-7383-6},
}