Predicate Transformer Semantics for Hybrid Systems: Verification Components for Isabelle/HOL.
Jonathan Julián Huerta y MuniveGeorg StruthPublished in: CoRR (2019)
Keyphrases
- hybrid systems
- theorem prover
- natural deduction
- intelligent systems
- first order logic
- neural network
- meta learning
- black box
- discrete event
- soft computing
- computational intelligence
- formal methods
- inference rules
- fuzzy logic
- artificial intelligence
- model checking
- logic programming
- machine learning
- artificial neural networks
- modal logic
- expert systems
- orders of magnitude
- power system
- knowledge base