%0 Conference Paper %1 conf/ecai/MermetS16 %A Mermet, Bruno %A Simon, Gaële %B EDIA@ECAI %D 2016 %E Bonnet, Grégory %E Harbers, Maaike %E Hindriks, Koen V. %E Katell, Mike %E Tessier, Catherine %I CEUR-WS.org %K dblp %P 26-31 %T Formal Verification of Ethical Properties in Multiagent Systems. %U http://dblp.uni-trier.de/db/conf/ecai/edia2016.html#MermetS16 %V 1668

@inproceedings{conf/ecai/MermetS16, added-at = {2023-03-10T00:00:00.000+0100}, author = {Mermet, Bruno and Simon, Gaële}, biburl = {https://www.bibsonomy.org/bibtex/245e07468fbf730cda8c9c836bd8322e3/dblp}, booktitle = {EDIA@ECAI}, crossref = {conf/ecai/2016edia}, editor = {Bonnet, Grégory and Harbers, Maaike and Hindriks, Koen V. and Katell, Mike and Tessier, Catherine}, ee = {https://ceur-ws.org/Vol-1668/paper5.pdf}, interhash = {ba5ec134e4aa51790f70fdd17e497aa7}, intrahash = {45e07468fbf730cda8c9c836bd8322e3}, keywords = {dblp}, pages = {26-31}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T18:47:09.000+0200}, title = {Formal Verification of Ethical Properties in Multiagent Systems.}, url = {http://dblp.uni-trier.de/db/conf/ecai/edia2016.html#MermetS16}, volume = 1668, year = 2016 }