This is an old revision of the document!
News
- Our paper “Advanced Automata Minimization” is accepted at POPL 2013. For an extended version see Technical report EDI-INF-RR-1414. (2012/10/29)
- Our paper “Advanced Ramsey-based Buchi Automata Inclusion Testing” is accepted to CONCUR. (2011/5/30)