Adaptive reachability algorithms for nonlinear systems using abstraction error analysis

From MaRDI portal
Publication:2085160