A New Approach for Active Automata Learning Based on Apartness.

Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wimann

Browse the full TACAS paper archive.