4 citations · 5 across the 11 of their papers we have counts for
4 papers · 1 filter
From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes
Jonathan Hellwig, Lukas Schäfer, Long Qian +2
Synthesizing controllers that enforce both safety and actuator constraints is a central challenge in the design of cyber-physical systems. State-of-the-art reachability methods bas…
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
Samuel Teuber, Mattias Ulbrich, André Platzer +1
Formally specifying, let alone verifying, properties of systems involving multiple programming languages is inherently challenging. We introduce Heterogeneous Dynamic Logic (HDL),…
Approximate Axiomatization for Differentially-Defined Functions
André Platzer, Long Qian
This article establishes a complete approximate axiomatization for the real-closed field expanded with all differentially-defined functions, including special function…
A Real-Analytic Approach to Differential-Algebraic Dynamic Logic
Jonathan Hellwig, André Platzer
This paper introduces a proof calculus for real-analytic differential-algebraic dynamic logic, enabling correct transformations of differential-algebraic equations. Applications in…