Skip to Content

Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge

Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge
— status
published
— sort
paper in proceedings
who
— authors
Bo Sun Conghua Zhou  •  Liu Zhifeng
where & when
— publication date
2010
— volume
Artificial Intelligence and Computational Intelligence
— series
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
— volume no.
6319
— publisher
Springer
URL
URL  •  PDF URL
— DOI
10.1007/978-3-642-16530-6_26
APICe
— journal or series
Lecture Notes in Computer Science
notes
— note
International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I