An Abstract Framework for Counterexample Analysis in Active Automata Learning

Malte Isberner, Bernhard Steffen. An Abstract Framework for Counterexample Analysis in Active Automata Learning. In Alexander Clark, Makoto Kanazawa, Ryo Yoshinaka, editors, Proceedings of the 12th International Conference on Grammatical Inference, ICGI 2014, Kyoto, Japan, September 17-19, 2014. Volume 34 of JMLR Proceedings, pages 79-93, JMLR.org, 2014. [doi]

Abstract

Abstract is missing.