Advanced Ramsey-Based Bchi Automata Inclusion Testing.

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

Browse the full CONCUR paper archive.