Simpler Backward Simulation Proofs.

Simon Doherty Lindsay Groves

Published in: CATS (2010)

Keyphrases

case study
simulation model
simulation models
simulation study
discrete event simulation
bi directional
dynamic programming
neural network
mobile robot
evolutionary algorithm
database systems
theorem proving
simulation environment
search engine
collision detection
simulation software
data sets