Maria Prandini. A set-based approach to model checking of nonlinear systems (invited tutorial). In 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018. pages 34, IEEE, 2018. [doi]
Abstract is missing.