Publications

ROLL 1.0: ω-Regular Language Learning Library

Published in Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), 2019

Recommended citation:

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: