Localization under consistent assumptions over dynamics