Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties.

Julien Alexandre Dit Sandretto Alexandre Chapoutot Olivier Mullier

Published in: IRC (2017)

Keyphrases

formal verification
model checking
automated verification
bounded model checking
model checker
real robot
symbolic model checking
temporal logic
program slicing
mobile robot
artificial intelligence
manipulation tasks