Theory of Hybrid Systems group @ RWTH Aachen University
ths-rwth.github.io
Repository for documentation of our projects
SMT-RAT
CArL