{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:04:37Z","timestamp":1773655477481,"version":"3.50.1"},"reference-count":23,"publisher":"Pleiades Publishing Ltd","issue":"3","license":[{"start":{"date-parts":[[2016,3,1]],"date-time":"2016-03-01T00:00:00Z","timestamp":1456790400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2016,3,1]],"date-time":"2016-03-01T00:00:00Z","timestamp":1456790400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Autom Remote Control"],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1134\/s0005117916030097","type":"journal-article","created":{"date-parts":[[2016,3,30]],"date-time":"2016-03-30T00:46:48Z","timestamp":1459298808000},"page":"473-484","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas"],"prefix":"10.1134","volume":"77","author":[{"given":"D. S.","family":"Chivilikhin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. I.","family":"Ulyantsev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. A.","family":"Shalyto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2016,3,31]]},"reference":[{"key":"415_CR1","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., and Peled, D., Model Checking, Cambridge: MIT Press, 1999."},{"key":"415_CR2","volume-title":"Avtomatnoe programmirovanie (Automata Programming)","author":"N.I. Polikarpova","year":"2009","unstructured":"Polikarpova, N.I. and Shalyto, A.A., Avtomatnoe programmirovanie (Automata Programming), St. Petersburg: Piter, 2009."},{"issue":"7","key":"415_CR3","first-page":"1027","volume":"57","author":"A.A. Shalyto","year":"1996","unstructured":"Shalyto, A.A., Algorithmic Graph Schemes and Transition Graphs: Their Use in Software Realization of Logical Control Algorithms. II, Autom. Remote Control, 1996, vol. 57, no. 7, part 2, pp. 1027\u20131045.","journal-title":"Autom. Remote Control"},{"key":"415_CR4","volume-title":"Verifikatsiya avtomatnykh programm (Verification of Automata Programs)","author":"S.E. Vel\u2019der","year":"2011","unstructured":"Vel\u2019der, S.E., Lukin, M.A., Shalyto, A.A., et al., Verifikatsiya avtomatnykh programm (Verification of Automata Programs), St. Petersburg: Nauka, 2011."},{"issue":"3","key":"415_CR5","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1016\/S0019-9958(78)90562-4","volume":"37","author":"M. Gold","year":"1978","unstructured":"Gold, M., Complexity of Automaton Identification from Given Data, Inf. Control, 1978, vol. 37, no. 3, pp. 302\u2013320.","journal-title":"Inf. Control"},{"key":"415_CR6","volume-title":"Applying Method for Solving the Boolean Satisfiability Problem for Constructing Controlling Finite State Machines with Work Scenarios","author":"V.I. Ul\u2019yantsev","year":"2011","unstructured":"Ul\u2019yantsev, V.I., Applying Method for Solving the Boolean Satisfiability Problem for Constructing Controlling Finite State Machines with Work Scenarios, Bachelor\u2019s Thesis, SPSU IFMO, 2011, available at http:\/\/isifmoru\/diploma-theses\/2011\/bachelor\/ulyantsev\/thesispdf."},{"key":"415_CR7","volume-title":"Essentials of Metaheuristics","author":"S. Luke","year":"2009","unstructured":"Luke, S., Essentials of Metaheuristics, Raleigh: Lulu, 2009."},{"key":"415_CR8","volume-title":"Sovremennye algoritmy poiskovoi optimizatsii. Algoritmy, vdokhnovlennye prirodoi, (Modern Search Optimization Algorithms: Algorithms Inspired by Nature)","author":"A.P. Karpenko","year":"2014","unstructured":"Karpenko, A.P., Sovremennye algoritmy poiskovoi optimizatsii. Algoritmy, vdokhnovlennye prirodoi, (Modern Search Optimization Algorithms: Algorithms Inspired by Nature), Moscow: Mosk. Gos. Tekhn. Univ. im. N.E. Baumana, 2014."},{"key":"415_CR9","unstructured":"Kureichik, V.V., Kureichik, V.M., and Rodzin, S.I., Teoriya evolyutsionnykh vychislenii (Theory of Evolutionary Computation), Moscow: Fizmatlit, 2012."},{"key":"415_CR10","first-page":"759","volume-title":"Proc. 13th Ann. Conf. on Genetic and Evolutionary Computation Companion, New York","author":"F. Tsarev","year":"2011","unstructured":"Tsarev, F. and Egorov, K., Finite State Machine Induction Using Genetic Algorithm Based on Testing and Model Checking, Proc. 13th Ann. Conf. on Genetic and Evolutionary Computation Companion, New York, 2011, pp. 759\u2013762."},{"key":"415_CR11","first-page":"511","volume-title":"Proc. 15th Ann. Conf. on Genetic and Evolutionary Computation, New York","author":"D. Chivilikhin","year":"2013","unstructured":"Chivilikhin, D. and Ulyantsev, V., MuACOsm: A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines, Proc. 15th Ann. Conf. on Genetic and Evolutionary Computation, New York, 2013, pp. 511\u2013518."},{"key":"415_CR12","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-642-15488-1_7","volume-title":"Proc. 10th Int. Colloquium Conf. on Grammatical Inference: Theoretical Results and Applications, Berlin","author":"M. Heule","year":"2010","unstructured":"Heule, M. and Verwer, S., Exact DFA Identification Using SAT Solvers, Proc. 10th Int. Colloquium Conf. on Grammatical Inference: Theoretical Results and Applications, Berlin, 2010, pp. 66\u201379."},{"key":"415_CR13","first-page":"346","volume":"2","author":"V. Ulyantsev","year":"2011","unstructured":"Ulyantsev, V. and Tsarev, F., Extended Finite-State Machine Induction Using SAT Solver, Proc. 10th Int. Conf. on Machine Learning and Applications, Los Alamitos, 2011, vol. 2, pp. 346\u2013349.","journal-title":"Proc. 10th Int. Conf. on Machine Learning and Applications, Los Alamitos"},{"key":"415_CR14","first-page":"350","volume-title":"Proc. 13th Int. Conf. on Machine Learning and Applications, Detroit","author":"D. Chivilikhin","year":"2014","unstructured":"Chivilikhin, D., Ulyantsev, V., and Shalyto, A., Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties, Proc. 13th Int. Conf. on Machine Learning and Applications, Detroit, 2014, pp. 350\u2013355."},{"key":"415_CR15","first-page":"117","volume-title":"Proc. 5th Int. Student Workshop on Bioinspired Optimization Methods and Their Applications, Ljubljana","author":"D. Chivilikhin","year":"2014","unstructured":"Chivilikhin, D., Ulyantsev, V., and Shalyto, A., Extended Finite-State Machine Inference with Parallel Ant Colony Based Algorithms, Proc. 5th Int. Student Workshop on Bioinspired Optimization Methods and Their Applications, Ljubljana, 2014, pp. 117\u2013126."},{"key":"415_CR16","first-page":"67","volume-title":"Proc. 16th Conf. on Genetic and Evolutionary Computation Companion, New York","author":"D. Chivilikhin","year":"2014","unstructured":"Chivilikhin, D. and Ulyantsev, V., Inferring Automata-Based Programs from Specification with Mutation-Based Ant Colony Optimization, Proc. 16th Conf. on Genetic and Evolutionary Computation Companion, New York, 2014, pp. 67\u201368."},{"key":"415_CR17","volume-title":"Generating Controlling Finite State Machines with Genetic Programming and Verification","author":"K.V. Egorov","year":"2013","unstructured":"Egorov, K.V., Generating Controlling Finite State Machines with Genetic Programming and Verification, PhD Dissertation, SPSU IFMO, 2013, available at http:\/\/isifmoru\/disser\/egorov disserpdf."},{"issue":"8","key":"415_CR18","first-page":"707","volume":"10","author":"V.I. Levenshtein","year":"1966","unstructured":"Levenshtein, V.I., Binary Codes Capable of Correcting Deletions, Insertions, and Reversals, Soviet Physics Dokl., 1966 vol. 10, no. 8, pp. 707\u2013710,.","journal-title":"Insertions, and Reversals, Soviet Physics Dokl."},{"key":"415_CR19","first-page":"14","volume-title":"Proc. 2nd Int. Conf. on Genetic Algorithms and their Applications, Hillsdale","author":"J. Baker","year":"1987","unstructured":"Baker, J., Reducing Bias and Inefficiency in the Selection Algorithm, Proc. 2nd Int. Conf. on Genetic Algorithms and their Applications, Hillsdale, 1987, pp. 14\u201321."},{"issue":"1","key":"415_CR20","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/3477.484436","volume":"25","author":"M. Dorigo","year":"1996","unstructured":"Dorigo, M., Maniezzo, V., and Colorni, A., Ant System: Optimization by a Colony of Cooperating Agents, IEEE Trans. Systems, Man Cybernetics, 1996, vol. 25, no. 1, pp. 29\u201341.","journal-title":"IEEE Trans. Systems, Man Cybernetics"},{"key":"415_CR21","first-page":"442","volume":"8172","author":"A. Duret-Lutz","year":"2013","unstructured":"Duret-Lutz, A., Manipulating LTL Formulas using SPOT 1.0., in Automated Technology for Verification and Analysis, Lect. Notes in Computer Science, Hung, D. and Ogawa, M., Eds., 2013, vol. 8172, pp. 442\u2013445.","journal-title":"Automated Technology for Verification and Analysis, Lect. Notes in Computer Science"},{"key":"415_CR22","volume-title":"The irace Package, Iterated Race for Automatic Algorithm Configuration","author":"M. L\u00f3pez-Ib\u00e1nez","year":"2011","unstructured":"L\u00f3pez-Ib\u00e1nez, M., Dubois-Lacoste, J., St\u00fctzle, T., et al., The irace Package, Iterated Race for Automatic Algorithm Configuration, Technical Report TR\/IRIDIA\/2011-004, IRIDIA, Universit\u00e9 Libre de Bruxelles, 2011."},{"issue":"6","key":"415_CR23","doi-asserted-by":"publisher","first-page":"80","DOI":"10.2307\/3001968","volume":"1","author":"F. Wilcoxon","year":"1945","unstructured":"Wilcoxon, F., Individual Comparisons by Ranking Methods, Biometrics Bull., 1945, vol. 1, no. 6, pp. 80\u201383.","journal-title":"Biometrics Bull."}],"container-title":["Automation and Remote Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0005117916030097.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0005117916030097","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0005117916030097","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0005117916030097.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:28:25Z","timestamp":1773613705000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0005117916030097"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,3]]}},"alternative-id":["415"],"URL":"https:\/\/doi.org\/10.1134\/s0005117916030097","relation":{},"ISSN":["0005-1179","1608-3032"],"issn-type":[{"value":"0005-1179","type":"print"},{"value":"1608-3032","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3]]},"assertion":[{"value":"10 December 2014","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 March 2016","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}