Jonathan Hellwig

According to our database, Jonathan Hellwig authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes.

Jonathan Hellwig, Lukas Schäfer, Long Qian, André Platzer, Matthias Althoff

Proceedings of the Integrated Formal Methods - 20th International Conference, 2025

A Real-Analytic Approach to Differential-Algebraic Dynamic Logic.

Jonathan Hellwig, André Platzer

Proceedings of the Automated Deduction - CADE 30, 2025