Author of the publication

Switched Systems as Hybrid Programs.

, and . ADHS, volume 54 of IFAC-PapersOnLine, page 247-252. Elsevier, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Switched Systems as Hybrid Programs., and . ADHS, volume 54 of IFAC-PapersOnLine, page 247-252. Elsevier, (2021)Implicit Definitions with Differential Equations for KeYmaera X - (System Description)., , , and . IJCAR, volume 13385 of Lecture Notes in Computer Science, page 723-733. Springer, (2022)An Axiomatic Approach to Liveness for Differential Equations., and . FM, volume 11800 of Lecture Notes in Computer Science, page 371-388. Springer, (2019)Differential Equation Invariance Axiomatization., and . CoRR, (2019)Deductive Stability Proofs for Ordinary Differential Equations., and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 181-199. Springer, (2021)ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving., , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 141-161. EasyChair, (2019)A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL., , and . CPP, page 211-224. ACM, (2023)Pegasus: A Framework for Sound Continuous Invariant Generation., , , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 138-157. Springer, (2019)Functional Big-Step Semantics., , , and . ESOP, volume 9632 of Lecture Notes in Computer Science, page 589-615. Springer, (2016)Certified MaxSAT Preprocessing., , , , , and . CoRR, (2024)