First Page | Document Content | |
---|---|---|
Date: 2017-07-25 18:51:20Complexity classes Differential equations Systems science Control theory Hybrid system Systems theory NL Reachability P Mathematics | ProbReach: Probabilistic Bounded Reachability for Uncertain Hybrid Systems Fedor Shmarov, Paolo Zuliani School of Computing Science, Newcastle University, UKAdd to Reading ListSource URL: www.cs.ox.ac.ukDownload Document from Source WebsiteFile Size: 2,02 MBShare Document on Facebook |