![](/img/cover-not-exists.png)
[ACM Press the 13th International Conference - Pittsburgh, Pennsylvania (2016.10.01-2016.10.07)] Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16 - Locally optimal reach set over-approximation for nonlinear systems
Fan, Chuchu, Kapinski, James, Jin, Xiaoqing, Mitra, SayanYear:
2016
Language:
english
DOI:
10.1145/2968478.2968482
File:
PDF, 423 KB
english, 2016