README.md

MeasureDesignHybridSOS

CDC2014 Code

Code for using occupation measures for computation of reachable sets. Uses SPOTless found @ https://github.com/spot-toolbox/spotless