Verifying epistemic properties of multi-agent systems via model checking (0)

by W Penczek, A Lomuscio
Venue:In Fundamenta Informaticae