Model checking for Coalition Announcement Logic
(2018)
Conference Proceeding
Galimullin, R., Alechina, N., & van Ditmarsch, H. (2018). Model checking for Coalition Announcement Logic. In F. Trollmann, & A. Turhan (Eds.), KI 2018: Advances in Artificial Intelligence, 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings (11-23). https://doi.org/10.1007/978-3-030-00111-7_2
Coalition Announcement Logic (CAL) studies how a group of agents can enforce a certain outcome by making a joint announcement, regardless of any announcements made simultaneously by the opponents. The logic is useful to model imperfect information ga... Read More about Model checking for Coalition Announcement Logic.