TY - CHAP A1 - Kochdumper, Niklas A1 - Gruber, Felix A1 - Schürmann, Bastian A1 - Gaßmann, Victor A1 - Klischat, Moritz A1 - Althoff, Matthias T1 - AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis T2 - Proceedings of the 24th ACM International Conference on Hybrid Systems: Computation and Control (part of CPS-IoT Week) UR - https://doi.org/10.1145/3447928.3456703 Y1 - 2021 UR - https://doi.org/10.1145/3447928.3456703 SN - 978-1-4503-8339-4 PB - ACM CY - New York ER -