Niklas Kochdumper

Niklas Kochdumper

Postdoctoral researcher at IRIF/Université Paris Cité
Verified email at tum.de
Cited by 791
Reachability Analysis Set-based Computing Control Theory Cyber-Physical Systems AI Verification
Vignesh Raghuraman

Vignesh Raghuraman

ASML
Verified email at utdallas.edu
Cited by 114
Model predictive control Hierarchical control Reachability analysis Set based computing
Tobias Ladner

Tobias Ladner

PhD student, Technical University of Munich
Verified email at tum.de
Cited by 75
AI Safety Formal Neural Network Verification Set-Based Computing
Lukas Koller

Lukas Koller

Technical University of Munich
Verified email at tum.de
Cited by 6
Neural Network Verification Set-based Computing