Tobias Ladner, Yasser Shoukry, Matthias Althoff
Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
arxiv
2026

Koller, Lukas;Ladner, Tobias;Althoff, Matthias
Out of the Shadows: Exploring a Latent Space for Neural Network Verification
Proceedings of the 14th International Conference on Learning Representations (ICLR)
2026