"Learning-Based Compositional Parameter Synthesis for Event-Recording Automata."

Étienne André, Shang-Wei Lin (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics