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