{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:28Z","timestamp":1750306648246,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,7,12]],"date-time":"2014-07-12T00:00:00Z","timestamp":1405123200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,7,12]]},"DOI":"10.1145\/2598394.2605679","type":"proceedings-article","created":{"date-parts":[[2014,7,11]],"date-time":"2014-07-11T12:10:42Z","timestamp":1405080642000},"page":"1037-1040","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Improving the quality of supervised finite-state machine construction using real-valued variables"],"prefix":"10.1145","author":[{"given":"Igor","family":"Buzhinsky","sequence":"first","affiliation":[{"name":"ITMO University, Saint Petersburg, Russian Fed."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniil","family":"Chivilikhin","sequence":"additional","affiliation":[{"name":"ITMO University, Saint Petersburg, Russian Fed."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Ulyantsev","sequence":"additional","affiliation":[{"name":"ITMO University, Saint Petersburg, Russian Fed."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fedor","family":"Tsarev","sequence":"additional","affiliation":[{"name":"ITMO University, Saint Petersburg, Russian Fed."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,7,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910371999"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001858.2002089"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.3182\/20130619-3-RU-3018.00445"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2464576.2464678"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463372.2463440"},{"key":"e_1_3_2_1_6_1","volume-title":"Model checking","author":"Clarke E.","year":"1999","unstructured":"E. Clarke , O. Grumberg , and D. Peled . Model checking . MIT press , 1999 . E. Clarke, O. Grumberg, and D. Peled. Model checking. MIT press, 1999."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/975277"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/101969.101990"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/552084"},{"key":"e_1_3_2_1_10_1","volume-title":"Introduction To Automata Theory, Languages, and Computation","author":"Hopcroft J.","year":"2006","unstructured":"J. Hopcroft , R. Motwani , and J. Ullman . Introduction To Automata Theory, Languages, and Computation ( 3 rd Edition). Prentice Hall , 2006 . J. Hopcroft, R. Motwani, and J. Ullman. Introduction To Automata Theory, Languages, and Computation (3rd Edition). Prentice Hall, 2006.","edition":"3"},{"key":"e_1_3_2_1_11_1","volume-title":"Genetic programming: on the programming of computers by natural selection","author":"Koza J.","year":"1992","unstructured":"J. Koza . Genetic programming: on the programming of computers by natural selection . MIT Press , Cambridge, MA, USA , 1992 . J. Koza. Genetic programming: on the programming of computers by natural selection. MIT Press, Cambridge, MA, USA, 1992."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_49"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1134\/S1064230710020127"},{"key":"e_1_3_2_1_15_1","first-page":"590","volume-title":"Proceedings of the IV International Scientic-Practical Conference \"Integrated Models and Soft Computing in Artificial Intelligence\"","author":"Tsarev F.","year":"2007","unstructured":"F. Tsarev and A. Shalyto . Use of genetic programming for finite-state machine generation in the smart ant problem . In Proceedings of the IV International Scientic-Practical Conference \"Integrated Models and Soft Computing in Artificial Intelligence\" , pages 590 -- 597 , 2007 . F. Tsarev and A. Shalyto. Use of genetic programming for finite-state machine generation in the smart ant problem. In Proceedings of the IV International Scientic-Practical Conference \"Integrated Models and Soft Computing in Artificial Intelligence\", pages 590--597, 2007."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2013.6671305"}],"event":{"name":"GECCO '14: Genetic and Evolutionary Computation Conference","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"],"location":"Vancouver BC Canada","acronym":"GECCO '14"},"container-title":["Proceedings of the Companion Publication of the 2014 Annual Conference on Genetic and Evolutionary Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2598394.2605679","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2598394.2605679","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:56:06Z","timestamp":1750229766000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2598394.2605679"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,12]]},"references-count":15,"alternative-id":["10.1145\/2598394.2605679","10.1145\/2598394"],"URL":"https:\/\/doi.org\/10.1145\/2598394.2605679","relation":{},"subject":[],"published":{"date-parts":[[2014,7,12]]},"assertion":[{"value":"2014-07-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}