Artur Meski, Wojciech Penczek, Maciej Szreter. Bounded Model Checking for Linear Time Temporal-Epistemic Logic. In Andrew V. Jones, editor, 2012 Imperial College Computing Student Workshop, ICCSW 2012, September 27-28, 2012, London, United Kingdom. Volume 28 of OASICS, pages 88-94, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2012. [doi]
Abstract is missing.