Bellerophon: Tactical Theorem Proving for Hybrid Systems.
Nathan FultonStefan MitschBrandon BohrerAndré PlatzerPublished in: ITP (2017)
Keyphrases
- theorem proving
- hybrid systems
- intelligent systems
- black box
- neural network
- meta learning
- soft computing
- first order logic
- theorem prover
- discrete event
- computational intelligence
- artificial intelligence
- inference rules
- parallel search
- geometry theorem proving
- proof planning
- consequence finding
- search problems
- dynamic systems
- knowledge base
- decision making
- genetic algorithm