Minimal History-Deterministic Co-Bchi Automata: Congruences and Passive Learning.

Christof Lding, Igor Walukiewicz

Browse the full LICS paper archive.