First Page | Document Content | |
---|---|---|
![]() Date: 2013-08-30 23:23:11North Carolina North Carolina Highway 56 NC North Carolina Highway 10 AC North Carolina Highway 9 Geography of North Carolina Circuit complexity Complexity classes | Add to Reading List |
![]() | A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017DocID: 1xW3e - View Document |
![]() | Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3DocID: 1xW2M - View Document |
![]() | LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via GamesDocID: 1xW2u - View Document |
![]() | Reachability in Recursive Markov Decision Processes? Tom´ aˇs Br´ azdil, V´ aclav Broˇzek, Vojtˇech Forejt, and Anton´ın KuˇceraDocID: 1xW2m - View Document |
![]() | Coarse Geometry and Randomness Itai Benjamini October 30, 2013 Contents 1 Introductory graph and metric notionsDocID: 1xW27 - View Document |