Hide/Show Apps

Analysis of dead reckoning procedures by using hybrid automata.