Learning Büchi Automata and Its Applications
Published in Lecture notes of 4th International School Engineering Trustworthy Software Systems (SETSS 2018), 2018
This is joint work with Andrea Turrini, Yu-Fang Chen, and Lijun Zhang. The published paper is available here.