![Temporal logic / Mathematics / Mathematical analysis / Theoretical computer science / Linear temporal logic / Computation tree logic / IP / Symbol / Distribution / Craig interpolation / Universal representation Temporal logic / Mathematics / Mathematical analysis / Theoretical computer science / Linear temporal logic / Computation tree logic / IP / Symbol / Distribution / Craig interpolation / Universal representation](https://www.pdfsearch.io/img/f8f424737d3262172febdd62b24bd13f.jpg) Date: 2015-12-10 11:06:15Temporal 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 ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 271,03 KBShare Document on Facebook
|