Back to Results
First PageMeta Content
Temporal logic / Mathematics / Mathematical analysis / Theoretical computer science / Linear temporal logic / Computation tree logic / IP / Symbol / Distribution / Craig interpolation / Universal representation


Model Checking Probabilistic Knowledge: A PSPACE Case Xiaowei Huang and Marta Kwiatkowska University of Oxford, UK Abstract Model checking probabilistic knowledge of memoryful semantics is undecidable, even for a simple
Add to Reading List

Document Date: 2015-12-10 11:06:15


Open Document

File Size: 271,03 KB

Share Result on Facebook
UPDATE