Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge
 |
 |
author = {Conghua Zhou, Bo Sun and Zhifeng, Liu},
booktitle = {Artificial Intelligence and Computational Intelligence},
doi = {10.1007/978-3-642-16530-6_26},
journal = {Lecture Notes in Computer Science},
keywords = {agent - model checking - abstraction - probabilistic logic - temporal logic - epistemic logic},
note = {International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge},
url = {http://link.springer.com/10.1007/978-3-642-16530-6_26},
urlpdf = {http://link.springer.com/content/pdf/10.1007/978-3-642-16530-6_26.pdf},
volume = 6319,
year = 2010
}