Learning Event-Recording Automata Passively.

Anirban Majumdar, Sayan Mukherjee, Jean-Franois Raskin

Browse the full ATVA paper archive.