Local Certification of Reachability.

Oliver Bachtler, Tim Bergner, Sven O. Krumke

Browse the full INOC paper archive.