added RobustPatrol example to this branch to compare with verification_recovery branch