Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics.
Geoffrey C. HuletteRobert C. ArmstrongJackson R. MayoJoseph R. RuthruffPublished in: Electron. Notes Theor. Comput. Sci. (2015)
Keyphrases
- theorem proving
- automated reasoning
- logical inference
- automated theorem proving
- proof procedure
- decision procedures
- first order logic
- theorem prover
- term rewriting
- control system
- inference rules
- boolean functions
- intelligent agents
- predicate calculus
- semi supervised
- search algorithm
- proof search
- parallel search
- training data