Artur Meski, Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny. Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic. In Sigeru Omatu, José Neves, Juan M. Corchado Rodríguez, Juan F. De Paz Santana, Sara Rodríguez-González, editors, Distributed Computing and Artificial Intelligence - 10th International Conference, DCAI 2013, Salamanca, Spain, May 22-24, 2013. Volume 217 of Advances in Intelligent Systems and Computing, pages 483-491, Springer, 2013. [doi]
Abstract is missing.