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
|