Tightening BDD-based approximate reachability with SAT-based clause generalization

Gianpiero Cabodi, Paolo Pasini, Stefano Quer, Danilo Vendraminetto

Browse the full DATE paper archive.