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]

Authors

Malte Isberner

This author has not been identified. It may be one of the following persons: Look up 'Malte Isberner' in Google

Bernhard Steffen

This author has not been identified. It may be one of the following persons: Look up 'Bernhard Steffen' in Google