Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets Information Theory

Masoud Tabatabaei, Wojciech Jamroga

Many important properties of multi-agent systems refer to the participants' ability to achieve a given goal, or to prevent the system from an undesirable event. Among intelligent a…