![Theoretical computer science / Mathematics / Dynamical systems / Systems science / Control theory / Hybrid system / Systems theory / Satisfiability modulo theories Theoretical computer science / Mathematics / Dynamical systems / Systems science / Control theory / Hybrid system / Systems theory / Satisfiability modulo theories](https://www.pdfsearch.io/img/3499925c882d69569a092a8a86079616.jpg) Date: 2018-09-27 16:37:21Theoretical computer science Mathematics Dynamical systems Systems science Control theory Hybrid system Systems theory Satisfiability modulo theories | | dReach: δ-Reachability Analysis for Hybrid Systems Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke Computer Science Department, Carnegie Mellon University, USA Abstract. dReach is a bounded reachability analysis toAdd to Reading ListSource URL: scungao.github.ioDownload Document from Source Website File Size: 478,99 KBShare Document on Facebook
|