A set-based approach to model checking of nonlinear systems (invited tutorial) | IEEE Conference Publication | IEEE Xplore