Highly Influential

@inproceedings{Mermet2014SideEO, title={Side Effects of Agents Are Not Just Random}, author={Bruno Mermet and Ga{\"e}le Simon}, booktitle={EMAS@AAMAS}, year={2014} }

- Published 2014 in EMAS@AAMAS
DOI:10.1007/978-3-319-14484-9_15

Side effects are an important characteristic of MAS, and proving them is an interesting issue. They often can be expressed as liveness properties. But there is no system dedicated to this kind of proof. The GDT4MAS framework allows to specify and prove the correctness of multiagent systems. This framework is mainly dedicated to prove safety properties about the system and to prove that agents achieve their goal(s). However, there is no proof principle to prove that agents satisfy liveness… CONTINUE READING