First Page | Document Content | |
---|---|---|
Date: 2011-07-23 03:31:56Graph theory Mathematics Model checking Theoretical computer science Graph Binary decision diagram Tree Circuit Symbolic trajectory evaluation Signal-flow graph Topology | Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation ∗ Department Yan Chen∗, Yujing He∗ , Fei Xie∗ and Jin Yang† of Computer Science, Portland State University, Portland, OR 97207. {cAdd to Reading ListSource URL: www.mpi-sws.orgDownload Document from Source WebsiteFile Size: 165,62 KBShare Document on Facebook |
Coarse Geometry and Randomness Itai Benjamini October 30, 2013 Contents 1 Introductory graph and metric notionsDocID: 1xW27 - View Document | |
Configuration Spaces and Graph Complexes Najib Idrissi June 2018 @ University of Regina Configuration SpacesDocID: 1xW08 - View Document | |
Conflict-Directed Graph Coverage Daniel Schwartz-Narbonne1 , Martin Sch¨af2 , Dejan Jovanovi´c2 , Philipp R¨ ummer3 , and Thomas Wies1 1DocID: 1xVY3 - View Document | |
COLLOQUIUM Najib Idrissi ETH Z¨urich Configuration Spaces and Graph ComplexesDocID: 1xVO2 - View Document | |
Robot Learning with a Spatial, Temporal, and Causal And-Or Graph Caiming Xiong∗ , Nishant Shukla∗ , Wenlong Xiong, and Song-Chun Zhu Abstract— We propose a stochastic graph-based framework for a robot to understandDocID: 1xVBE - View Document |