Bounded model checking for knowledge and linear time.

Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny

Browse the full AAMAS paper archive.