Reach-avoid verification for nonlinear systems based on boundary analysis - OFFIS

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Home
OFFIS
Publikationen
Reach-avoid verification for nonlinear systems based on boundary analysis

Reach-avoid verification for nonlinear systems based on boundary analysis

Export

All authors

Xue, Bai and Easwaran, Arvind and Cho, Nam-Joon and Fränzle, Martin

Journal

IEEE Trans. Automat. Contr.

Publishing date

2017

Type of Publication

article

Pages

62(7): 3518-3523

OFFIS Autoren

Martin Fränzle

Martin Fränzle

Privacy Data Transparency Contact Legals