Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle.
David S. HardinMatthew WildingDavid A. GrevePublished in: CAV (1998)
Keyphrases
- theorem prover
- design tools
- obstacle detection
- theorem proving
- inference rules
- automated theorem proving
- first order logic
- term rewriting
- formal proof
- computer aided
- physical design
- natural deduction
- mathematical knowledge
- image analysis
- autonomous driving
- proof search
- random variables
- proof planning
- machine learning