Logical analysis of hybrid systems : proving theorems for complex dynamics

von Platzer, André
Veröffentlicht 2010

Constructive Hybrid Games

von Bohrer, Brandon
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)

Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis

von Laurent, Jonathan
Veröffentlicht in NeurIPS (36. : 2022 : New Orleans, La.; Online) 36th Conference on Neural Information Processing Systems (NeurIPS 2022 ; Volume 7 of 50 (2023)

Constructive Game Logic

von Bohrer, Brandon
Veröffentlicht in ESOP (29. : 2020 : Online) Programming languages and systems (2020)

Deductive Stability Proofs for Ordinary Differential Equations

von Tan, Yong Kiam
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs

von Brieger, Marvin
Veröffentlicht in International Conference on Automated Deduction (29. : 2023 : Rom) Automated deduction - CADE 29 (2023)

Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, proceedings

Veröffentlicht 2021

Verified Quadratic Virtual Substitution for Real Arithmetic

von Scharager, Matias
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)

Implicit Definitions with Differential Equations for KeYmaera X

von Gallicchio, James
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

Formal methods : 26th international symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings

Formal methods

Veröffentlicht 2025

Formal methods

Veröffentlicht 2025