Added a patrolling example for Greedy Recover
Merge remote-tracking branch 'progirep/oneStepRobustness' into verfication_recovery
prepared for merge again with progirep/oneStepRobustness. Just changes of example