Experimental results from FLEXnav: an expert rule-based dead-reckoning system for mars rovers | Synapse