1![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 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](https://www.pdfsearch.io/img/f8f424737d3262172febdd62b24bd13f.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2015-12-10 11:06:15
|
---|
2![Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE-complete Michael Blondin1, 2 Alain Finkel1 Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE-complete Michael Blondin1, 2 Alain Finkel1](https://www.pdfsearch.io/img/d24356b4ba4178a6595423c05c2b544a.jpg) | Add to Reading ListSource URL: www7.in.tum.deLanguage: English - Date: 2016-09-23 11:33:03
|
---|
3![Subway Shuffle is PSPACE–complete (Preliminary draft) Marzio De Biasi∗ Tim Ophelders† Subway Shuffle is PSPACE–complete (Preliminary draft) Marzio De Biasi∗ Tim Ophelders†](https://www.pdfsearch.io/img/5c90c3367c57aa75735cef7a562fe97c.jpg) | Add to Reading ListSource URL: www.nearly42.orgLanguage: English - Date: 2015-04-17 16:11:52
|
---|
4![Finding Paths between Graph Colourings: PSPACE-completeness and Superpolynomial Distances Paul Bonsma∗ Institut f¨ ur Mathematik, Sekr. MA 6-1, Technische Universit¨at Berlin, Finding Paths between Graph Colourings: PSPACE-completeness and Superpolynomial Distances Paul Bonsma∗ Institut f¨ ur Mathematik, Sekr. MA 6-1, Technische Universit¨at Berlin,](https://www.pdfsearch.io/img/6c39100a8976fc89ad0e1a34755c4193.jpg) | Add to Reading ListSource URL: www.cdam.lse.ac.ukLanguage: English - Date: 2017-04-12 10:30:42
|
---|
5![Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE-complete Michael Blondin∗†‡ , Alain Finkel†§ , Stefan G¨oller†¶k , Christoph Haase†§k and Pierre McKenzie∗†∗∗ ∗ DIRO Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE-complete Michael Blondin∗†‡ , Alain Finkel†§ , Stefan G¨oller†¶k , Christoph Haase†§k and Pierre McKenzie∗†∗∗ ∗ DIRO](https://www.pdfsearch.io/img/3b59a9a683d0c12e7601a6e0da389315.jpg) | Add to Reading ListSource URL: www7.in.tum.deLanguage: English - Date: 2016-09-23 11:32:15
|
---|
6![Logic, Computation and Constraint Satisfaction Barnaby D. Martin University of Leicester Logic, Computation and Constraint Satisfaction Barnaby D. Martin University of Leicester](https://www.pdfsearch.io/img/1a34fb171d3d4397b43e822b901bc063.jpg) | Add to Reading ListSource URL: www.bedewell.comLanguage: English - Date: 2009-11-10 10:57:12
|
---|
7![The complexity of positive first-order logic without equality II: The four-element case Barnaby Martin1? and Jos Martin2 1 School of Engineering and Computing Sciences, Durham University, The complexity of positive first-order logic without equality II: The four-element case Barnaby Martin1? and Jos Martin2 1 School of Engineering and Computing Sciences, Durham University,](https://www.pdfsearch.io/img/35c4cf553df9facb981c77df9639caad.jpg) | Add to Reading ListSource URL: www.bedewell.comLanguage: English - Date: 2010-06-03 07:34:14
|
---|
8![On the Complexity of Universality for Partially Ordered NFAs∗ Markus Krötzsch1 , Tomáš Masopust2 , and Michaël Thomazo3 1 Institute of Theoretical Computer Science and Center of Advancing On the Complexity of Universality for Partially Ordered NFAs∗ Markus Krötzsch1 , Tomáš Masopust2 , and Michaël Thomazo3 1 Institute of Theoretical Computer Science and Center of Advancing](https://www.pdfsearch.io/img/4a53b06389573e0ab34d5a00abc84383.jpg) | Add to Reading ListSource URL: korrekt.orgLanguage: English - Date: 2016-06-13 07:14:39
|
---|
9![ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti](https://www.pdfsearch.io/img/a2344bc10e6e49a90218b829eb3bfbf9.jpg) | Add to Reading ListSource URL: www.crypto.ethz.chLanguage: English - Date: 2015-02-25 05:09:48
|
---|
10![LNCSParallel Repetition of Computationally Sound Protocols Revisited LNCSParallel Repetition of Computationally Sound Protocols Revisited](https://www.pdfsearch.io/img/7efff76c9fa87191fbaa1c43f9220aa7.jpg) | Add to Reading ListSource URL: www.nada.kth.seLanguage: English - Date: 2012-05-30 08:49:12
|
---|