This page shows all presentations of this author published in EasyChair Smart Slide.
AROC: a Toolbox for Automated Reachset Optimal Controller Synthesis
Niklas Kochdumper, Felix Gruber, Bastian Schürmann, Victor Gaßmann, Moritz Klischat and Matthias Althoff