Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL.
Simon FosterJonathan Julián Huerta y MuniveGeorg StruthPublished in: RAMiCS (2020)
Keyphrases
- hybrid systems
- natural deduction
- sequent calculi
- cut elimination
- theorem prover
- inference rules
- higher order logic
- sequent calculus
- black box
- neural network
- meta learning
- intelligent systems
- discrete event
- computational intelligence
- soft computing
- theorem proving
- artificial intelligence
- conditional logic
- data mining
- linear logic
- simulation model
- dynamic systems
- orders of magnitude
- modal logic
- learning tasks
- first order logic