Matthias Althoff

Matthias Althoff

Associate Professor in Computer Science, Technische Universität München
E-mail confirmado em in.tum.de
Citado por 12537
Cyber-Physical Systems Formal Verification Reachability Analysis Robotics and Automated Driving