Implicit definitions with differential equations for KeYmaera X (system description)
From MaRDI portal
Publication:2104559
DOI10.1007/978-3-031-10769-6_42OpenAlexW4289104067MaRDI QIDQ2104559FDOQ2104559
Authors: James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer 
Publication date: 7 December 2022
Full work available at URL: https://arxiv.org/abs/2203.01272
Cites Work
- Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs
- dReal: An SMT Solver for Nonlinear Theories over the Reals
- Hybrid Systems: Computation and Control
- Differential dynamic logic for hybrid systems
- Nonlinear systems
- Formalization of real analysis: a survey of proof assistants and libraries
- Some undecidable problems involving elementary functions of a real variable
- Title not available (Why is that?)
- MetiTarski: An automatic theorem prover for real-valued special functions
- Logical analysis of hybrid systems. Proving theorems for complex dynamics.
- The Complete Proof Theory of Hybrid Systems
- KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
- Logical Foundations of Cyber-Physical Systems
- A complete uniform substitution calculus for differential dynamic logic
- An axiomatic approach to existence and liveness for differential equations
- \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic
- Differential Equation Invariance Axiomatization
Cited In (3)
Uses Software
This page was built for publication: Implicit definitions with differential equations for KeYmaera X (system description)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104559)
