![](/img/cover-not-exists.png)
[ACM Press the 15th ACM international conference - Beijing, China (2012.04.17-2012.04.19)] Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 - Computing bounded reach sets from sampled simulation traces
Huang, Zhenqi, Mitra, SayanYear:
2012
Language:
english
DOI:
10.1145/2185632.2185676
File:
PDF, 451 KB
english, 2012