Shalyto, A., Tsarev, F. and Egorov, K. 2010. Application of genetic programming and model checking for finite-state machine induction. SPIIRAS Proceedings. 4, 15 (Dec. 2010), 123-135. DOI:https://doi.org/10.15622/sp.15.7.