Tobias Ladner

Identifiers

No identifiers captured yet.

Papers (3)

1. Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes cs.LG · 2026 · author #2
2. Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems eess.SY · 2026 · author #3
3. Perception with Guarantees: Certified Pose Estimation via Reachability Analysis cs.CV · 2026 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Matthias Althoff 3 shared papers
• Lars Hedrich 1 shared papers
• Lukas Koller 1 shared papers
• Miriam Kranzlm\"uller 1 shared papers
• Yasmine Abu-Haeyeh 1 shared papers
• Yasser Shoukry 1 shared papers