Software Development CORA A tool for continuous reachability analysis, for which I contributed since 2021. AROC A tool for automated controller synthesis, for which I contributed in 2024.
