The following pages link to SURF 2012: Formal verification of patching algorithms for SLAM tasks:
Displayed 1 item.