Simulation Subsumption in Ramsey-Based Bchi Automata Universality and Inclusion Testing.

Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Luks Holk, Chih-Duo Hong, Richard Mayr, Toms Vojnar

Browse the full CAV paper archive.