Browsing Department of Information Science and Media Studies by Author "Wang, Tuo"

Now showing items 1-1 of 1

    • Verification and Strategy Synthesis for Coalition Announcement Logic 

      Alechina, Natasha; van Ditmarsch, Hans; Galimullin, Rustam; Wang, Tuo (Journal article; Peer reviewed, 2021)
      Coalition announcement logic (CAL) is one of the family of the logics of quantified announcements. It allows us to reason about what a coalition of agents can achieve by making announcements in the setting where the ...