TY - CHAP T1 - Towards a Boosted Route Planner Using Individual Mobility Models T2 - Software Engineering and Formal Methods Y1 - 2015 A1 - Riccardo Guidotti A1 - Paolo Cintia JF - Software Engineering and Formal Methods PB - Springer Berlin Heidelberg ER -