A car navigation system’s job is to plan a good route from an origin to a destination. There are many different options how this can be accomplished. Path choices can be calculated based on static road map representations, or they can take into account dynamic information like, e. g., known road blocks or the current traffic situation. More recently, the idea has gained ground that navigation s...