Login / Signup

A novel framework for verification and validation of simulations of autonomous robots.

Phillip J. DurstDavid P. McInnisJeremy DavisChristopher T. Goodin
Published in: Simul. Model. Pract. Theory (2022)
Keyphrases
  • autonomous robots
  • main contribution
  • robot navigation
  • model checking
  • simulation environment
  • robot control
  • data mining
  • learning algorithm
  • website
  • mobile robot
  • robotic systems
  • formal verification
  • motion control