Mascot is a (open-source) tool for synthesizing controllers for continuous non-linear dynamical systems. Currently it supports reach-avoid and safety control specifications.
Mascot is written in C++ and is built on top of SCOTS. The name Mascot stands for Multi-layered Adaptive SCOTS.
Mascot uses some advanced techniques which makes the controller synthesis process much faster than the available tools. On a standard benchmark example with reach-avoid specification, Mascot was 5x faster compared to SCOTS.
To cite Mascot, please cite our paper which presents the preliminary version of the underlying theory.
Please report any bug/comment to Kaushik Mallik (email: kmallik (at) mpi-sws.org).