Implicit Definitions with Differential Equations for KeYmaera X - (System Description). | 0 | 0.34 | 2022 |
Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings. | 0 | 0.34 | 2021 |
Constructive Game Logic. | 0 | 0.34 | 2020 |
Constructive Hybrid Games. | 0 | 0.34 | 2020 |
Verifiably Safe Off-Model Reinforcement Learning. | 0 | 0.34 | 2019 |
\mathsf dL_ι - Definite Descriptions in Differential Dynamic Logic. | 0 | 0.34 | 2019 |
Change and Delay Contracts for Hybrid System Component Verification. | 0 | 0.34 | 2017 |
Analog and Hybrid Computation: Dynamical Systems and Programming Languages. | 0 | 0.34 | 2014 |
Logical Analysis of Hybrid Systems: A Answer to a Complexity Challenge. | 0 | 0.34 | 2012 |