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