{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:07:22Z","timestamp":1750306042291,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,13]],"date-time":"2017-07-13T00:00:00Z","timestamp":1499904000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Ministry of Higher Education, Iraq"},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/M027287\/1"],"award-info":[{"award-number":["EP\/M027287\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,7,13]]},"DOI":"10.1145\/3092282.3092299","type":"proceedings-article","created":{"date-parts":[[2017,7,13]],"date-time":"2017-07-13T13:45:49Z","timestamp":1499953549000},"page":"122-131","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A hot method for synthesising cool controllers"],"prefix":"10.1145","author":[{"given":"Idress","family":"Husien","sequence":"first","affiliation":[{"name":"University of Liverpool, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Berthier","sequence":"additional","affiliation":[{"name":"University of Liverpool, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Schewe","sequence":"additional","affiliation":[{"name":"University of Liverpool, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765712.1765727"},{"key":"e_1_3_2_1_2_1","volume-title":"International Hybrid Systems Workshop. Springer","author":"Asarin Eugene","year":"1994","unstructured":"Eugene Asarin , Oded Maler , and Amir Pnueli . 1994 . Symbolic controller synthesis for discrete and timed systems . In International Hybrid Systems Workshop. Springer , Berlin, Heidelberg, 1\u201320. Eugene Asarin, Oded Maler, and Amir Pnueli. 1994. Symbolic controller synthesis for discrete and timed systems. In International Hybrid Systems Workshop. Springer, Berlin, Heidelberg, 1\u201320."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2435227.2435235"},{"key":"e_1_3_2_1_4_1","volume-title":"Discrete Controller Synthesis for Infinite State Systems with ReaX. In 12th Int. Workshop on Discrete Event Systems (WODES\u201914)","author":"Berthier Nicolas","year":"2014","unstructured":"Nicolas Berthier and Herv\u00e9 Marchand . 2014 . Discrete Controller Synthesis for Infinite State Systems with ReaX. In 12th Int. Workshop on Discrete Event Systems (WODES\u201914) . IFAC, 46\u201353. Nicolas Berthier and Herv\u00e9 Marchand. 2014. Discrete Controller Synthesis for Infinite State Systems with ReaX. In 12th Int. Workshop on Discrete Event Systems (WODES\u201914). IFAC, 46\u201353."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"e_1_3_2_1_7_1","unstructured":"Alessandro Cimatti Edmund M. Clarke Enrico Giunchiglia Fausto Giunchiglia Marco Pistore Marco Roveri Roberto Sebastiani and Armando Tacchella. 2002.  Alessandro Cimatti Edmund M. Clarke Enrico Giunchiglia Fausto Giunchiglia Marco Pistore Marco Roveri Roberto Sebastiani and Armando Tacchella. 2002."},{"volume-title":"Proceedings of the 14th International Conference on Computer Aided Verification (CAV\u201902)","author":"SMV","key":"e_1_3_2_1_8_1","unstructured":"Nu SMV 2 : An OpenSource Tool for Symbolic Model Checking . In Proceedings of the 14th International Conference on Computer Aided Verification (CAV\u201902) . Springer-Verlag, Berlin, Heidelberg, 359\u2013364. NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In Proceedings of the 14th International Conference on Computer Aided Verification (CAV\u201902). Springer-Verlag, Berlin, Heidelberg, 359\u2013364."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(01)00195-1"},{"volume-title":"Workshop. Springer","author":"Clarke Edmund M.","key":"e_1_3_2_1_10_1","unstructured":"Edmund M. Clarke and E. Allen Emerson . 1982. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. In Logic of Programs , Workshop. Springer , Berlin, Heidelberg, 52\u201371. Edmund M. Clarke and E. Allen Emerson. 1982. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. In Logic of Programs, Workshop. Springer, Berlin, Heidelberg, 52\u201371."},{"key":"e_1_3_2_1_11_1","volume-title":"Peled","author":"Clarke Edmund M.","year":"1999","unstructured":"Edmund M. Clarke , Jr., Orna Grumberg , and Doron A . Peled . 1999 . Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. 1999."},{"key":"e_1_3_2_1_12_1","unstructured":"Model Checking. MIT Press Cambridge MA USA.  Model Checking. MIT Press Cambridge MA USA."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/9.664159"},{"key":"e_1_3_2_1_14_1","unstructured":"John Fearnley Doron Peled and Sven Schewe. 2015.  John Fearnley Doron Peled and Sven Schewe. 2015."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2015.02.005"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0084-y"},{"volume-title":"Handbook of metaheuristics","author":"Henderson Darrall","key":"e_1_3_2_1_17_1","unstructured":"Darrall Henderson , Sheldon H Jacobson , and Alan W Johnson . 2003. The theory and practice of simulated annealing . In Handbook of metaheuristics . Springer , Berlin, Heidelberg , 287\u2013319. Darrall Henderson, Sheldon H Jacobson, and Alan W Johnson. 2003. The theory and practice of simulated annealing. In Handbook of metaheuristics. Springer, Berlin, Heidelberg, 287\u2013319."},{"key":"e_1_3_2_1_18_1","unstructured":"Yann Hietter Jean-Marc Roussel and Jean-Jacques Lesage. 2008.  Yann Hietter Jean-Marc Roussel and Jean-Jacques Lesage. 2008."},{"volume-title":"9th International Workshop on Discrete Event Systems (WODES\u201908)","author":"Transition Algebraic Synthesis","key":"e_1_3_2_1_19_1","unstructured":"Algebraic Synthesis of Transition Conditions of a State Model . In 9th International Workshop on Discrete Event Systems (WODES\u201908) . IEEE, 187\u2013192. Algebraic Synthesis of Transition Conditions of a State Model. In 9th International Workshop on Discrete Event Systems (WODES\u201908). IEEE, 187\u2013192."},{"key":"e_1_3_2_1_20_1","volume-title":"Program Generation Using Simulated Annealing and Model Checking. In International Conference on Software Engineering and Formal Methods. Springer","author":"Husien Idress","year":"2016","unstructured":"Idress Husien and Sven Schewe . 2016 . Program Generation Using Simulated Annealing and Model Checking. In International Conference on Software Engineering and Formal Methods. Springer , Berlin, Heidelberg, 155\u2013171. Idress Husien and Sven Schewe. 2016. Program Generation Using Simulated Annealing and Model Checking. In International Conference on Software Engineering and Formal Methods. Springer, Berlin, Heidelberg, 155\u2013171."},{"key":"e_1_3_2_1_21_1","unstructured":"Colin G. Johnson. 2007.  Colin G. Johnson. 2007."},{"volume-title":"EuroGP (LNCS)","author":"Fitness Genetic Programming","key":"e_1_3_2_1_22_1","unstructured":"Genetic Programming with Fitness Based on Model Checking . In EuroGP (LNCS) , Vol. 4445 . Springer , Berlin, Heidelberg , 114\u2013124. Genetic Programming with Fitness Based on Model Checking. In EuroGP (LNCS), Vol. 4445. Springer, Berlin, Heidelberg, 114\u2013124."},{"volume-title":"TACAS (LNCS)","author":"Katz Gal","key":"e_1_3_2_1_23_1","unstructured":"Gal Katz and Doron Peled . 2008. Model Checking-Based Genetic Programming with an Application to Mutual Exclusion . In TACAS (LNCS) , Vol. 4963 . Springer , Berlin, Heidelberg , 141\u2013156. Gal Katz and Doron Peled. 2008. Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. In TACAS (LNCS), Vol. 4963. Springer, Berlin, Heidelberg, 141\u2013156."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00431-5_8"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1965974.1965989"},{"key":"e_1_3_2_1_26_1","unstructured":"John R. Koza. 1992.  John R. Koza. 1992."},{"volume-title":"On the Programming of Computers by Means of Natural Selection","author":"Programming Genetic","key":"e_1_3_2_1_27_1","unstructured":"Genetic Programming : On the Programming of Computers by Means of Natural Selection . MIT Press , Cambridge, MA, USA . Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge, MA, USA."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(91)90055-7"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008311720696"},{"key":"e_1_3_2_1_30_1","unstructured":"Herv\u00e9 Marchand and Mazen Samaan. 2000.  Herv\u00e9 Marchand and Mazen Samaan. 2000."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.879811"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_33_1","unstructured":"Peter J. G. Ramadge and W. Murray Wonham. 1989.  Peter J. G. Ramadge and W. Murray Wonham. 1989."},{"key":"e_1_3_2_1_34_1","volume-title":"Control of Discrete Event Systems. Proceedings of the IEEE; Special issue on Dynamics of Discrete Event Systems 77","author":"The","year":"1989","unstructured":"The Control of Discrete Event Systems. Proceedings of the IEEE; Special issue on Dynamics of Discrete Event Systems 77 , 1 ( 1989 ), 81\u201398. The Control of Discrete Event Systems. Proceedings of the IEEE; Special issue on Dynamics of Discrete Event Systems 77, 1 (1989), 81\u201398."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629583"},{"key":"e_1_3_2_1_36_1","unstructured":"Yin Wang St\u00e9phane Lafortune Terence Kelly Manjunath Kudlur and Scott Mahlke. 2009.  Yin Wang St\u00e9phane Lafortune Terence Kelly Manjunath Kudlur and Scott Mahlke. 2009."},{"key":"e_1_3_2_1_37_1","unstructured":"MengChu Zhou and Frank DiCesare. 2012.  MengChu Zhou and Frank DiCesare. 2012."}],"event":{"name":"ISSTA '17: International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Santa Barbara CA USA","acronym":"ISSTA '17"},"container-title":["Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092282.3092299","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3092282.3092299","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:03:08Z","timestamp":1750215788000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092282.3092299"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,13]]},"references-count":37,"alternative-id":["10.1145\/3092282.3092299","10.1145\/3092282"],"URL":"https:\/\/doi.org\/10.1145\/3092282.3092299","relation":{},"subject":[],"published":{"date-parts":[[2017,7,13]]},"assertion":[{"value":"2017-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}