Publisher
Springer Nature Switzerland
Reference8 articles.
1. Abel, A., Reineke, J.: MeMin: sat-based exact minimization of incompletely specified mealy machines. In: 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), pp. 94–101. IEEE Press (2015)
2. Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75, 87–106 (1987)
3. Bollig, B., Habermehl, P., Kern, C., Leucker, M.: Angluin-style learning of NFA. In: IJCAI International Joint Conference on Artificial Intelligence, pp. 1004–1009 (2009)
4. Gold, E.M.: Complexity of automaton identification from given data. Inf. Control 37(3), 302–320 (1978)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);MJH Heule,2010