Formal Verification of a Rover Anti-collision System.

Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau

Browse the full FMICS paper archive.