Learning to Complement Büchi Automata

Published in Proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2018), 2018

Recommended citation:

This is joint work with Andrea Turrini, Lijun Zhang, and Sven Schewe. The published paper is available here.