An Efficient Algorithm for Learning Event-Recording Automata.

Shang-Wei Lin, tienne Andr, Jin Song Dong, Jun Sun, Yang Liu

Browse the full ATVA paper archive.