Locally Optimal Reach Set Over-approximation for Nonlinear Systems

Title

Publication Type

Conference Paper

Year of Publication

2016

Authors

Conference Name

Proceedings of the 13th International Conference on Embedded Software, (EMSOFT)

Publisher

ACM Press

Conference Location

Pittsburgh, Pennsylvania, USA

ISBN

9781450344852

URL

DOI