AROC

A tool for automated controller synthesis, for which I contributed in 2024.