Generic Emptiness Check for Fun and Profit.

Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Mller, Jan Strejcek

Browse the full ATVA paper archive.