Bounded Underapproximations.

Pierre Ganty, Rupak Majumdar, Benjamin Monmege

Browse the full CAV paper archive.