Adaptive reachability algorithms for nonlinear systems using abstraction error analysis

Mark Wetzlinger, Adrian Kulmburg, Alexis Le Penven, Matthias Althoff

Research output: Contribution to journalArticlepeer-review

8 Scopus citations

Fingerprint

Dive into the research topics of 'Adaptive reachability algorithms for nonlinear systems using abstraction error analysis'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Mathematics