Projects HyPro A C++ programming library for state set representations for the reachability analysis of hybrid systems. Read more TACoS A tool for the synthesis of controllers based on MTL-specifications. Read more