Learning Büchi Automata and Its Applications

Published in Lecture notes of 4th International School Engineering Trustworthy Software Systems (SETSS 2018), 2018

Recommended citation:

This is joint work with Andrea Turrini, Yu-Fang Chen, and Lijun Zhang. The published paper is available here.