Login / Signup
A novel framework for verification and validation of simulations of autonomous robots.
Phillip J. Durst
David P. McInnis
Jeremy Davis
Christopher 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