Side Effects of Agents Are Not Just Random

  title={Side Effects of Agents Are Not Just Random},
  author={Bruno Mermet and Ga{\"e}le Simon},
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