Efficient dynamic error reduction for hybrid systems reachability analysis (Q2324234)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Efficient dynamic error reduction for hybrid systems reachability analysis |
scientific article |
Statements
Efficient dynamic error reduction for hybrid systems reachability analysis (English)
0 references
16 September 2019
0 references
