State Matching and Multiple References in Adaptive Active Automata Learning.

Loes Kruger, Sebastian Junges, Jurriaan Rot

Browse the full FM paper archive.