| Title | Locally Optimal Reach Set Over-approximation for Nonlinear Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Fan C, Kapinski J, Jin X |
| Conference Name | Proceedings of the 13th International Conference on Embedded Software, (EMSOFT) |
| Publisher | ACM Press |
| Conference Location | Pittsburgh, Pennsylvania, USA |
| ISBN Number | 9781450344852 |
| URL | http://dl.acm.org/citation.cfm?doid=2968478.2968482 |
| DOI | 10.1145/2968478.2968482 |
Locally Optimal Reach Set Over-approximation for Nonlinear Systems
Submitted by chuchu@mit.edu on