Tobias Ladner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2024–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Perception with Guarantees: Certified Pose Estimation via Reachability Analysis. | Tobias Ladner, Yasser Shoukry, Matthias Althoff |
| 2025 | DATE | Formally Verifying Analog Neural Networks with Device Mismatch Variations. | Yasmine Abu-Haeyeh, Thomas Bartelsmeier, Tobias Ladner, Matthias Althoff, Lars Hedrich, Markus Olbrich |
| 2025 | ICML | Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations. | Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Matthias Althoff, Guy Katz |
| 2024 | AAAI | Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification. | Tobias Ladner, Matthias Althoff |