Stanford AA228V I Validation of Safety Critical Systems I Discrete Reachability
Stanford Online · 67:57
Taylor models, conservative linearization, one-step concretization, and input-set partitioning are the remaining tools that finally let nonlinear reachability produce tight-enough over-approximations to verify inverte...