A sat-based approach to unbounded model checking for alternating-time temporal epistemic logic
Vol. 142/2
M. Kacprzak, W. Penczek
Volume
Title
Author