Ian Mitchell. A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels. In Sergiy Bogomolov, Ashish Tiwari, editors, 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015. Volume 37 of EPiC Series in Computing, pages 23-31, EasyChair, 2015. [doi]
Abstract is missing.