Verification and Strategy Synthesis for Coalition Announcement Logic
Alechina, Natasha ; van Ditmarsch, Hans ; Galimullin, Rustam ; Wang, Tuo
Journal of logic, language, and information, 2021-12, Vol.30 (4), p.671-700 [Periódico revisado por pares]Dordrecht: Springer Netherlands
Texto completo disponível