research
∙
06/17/2022
Relaxing safety for metric first-order temporal logic via dynamic free variables
We define a fragment of metric first-order temporal logic formulas that ...
research
∙
06/10/2021
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs
We extend a semantic verification framework for hybrid systems with the ...
research
∙
10/29/2019
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
We present simple new Hoare logics and refinement calculi for hybrid sys...
research
∙
09/12/2019