Verifying Nonpolynomial Hybrid Systems by Qualitative Abstraction and Automated Theorem Proving.
William DenmanPublished in: NASA Formal Methods (2014)
Keyphrases
- hybrid systems
- automated theorem proving
- theorem prover
- theorem proving
- black box
- intelligent systems
- neural network
- discrete event
- computational intelligence
- meta learning
- answer set programming
- soft computing
- artificial intelligence
- classical logic
- qualitative and quantitative
- inference rules
- first order logic
- high level
- model checking
- inductive learning
- dynamic systems
- search problems
- artificial neural networks