Generating low-cost plans from proofs.
Michael BenediktBalder ten CateEfthymia TsamouraPublished in: PODS (2014)
Keyphrases
- low cost
- plan generation
- generation process
- theorem proving
- highly efficient
- low power
- digital camera
- real time
- theorem prover
- data acquisition
- databases
- first order logic
- dynamic programming
- video sequences
- genetic algorithm
- planning domains
- initial state
- decision procedures
- database
- formal proof
- highly dynamic environments
- mathematical proofs