Text this: Simulation and verification of autonomous route planning behavior