{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T19:43:39Z","timestamp":1772480619253,"version":"3.50.1"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030315139","type":"print"},{"value":"9783030315146","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-31514-6_14","type":"book-chapter","created":{"date-parts":[[2019,9,22]],"date-time":"2019-09-22T23:03:06Z","timestamp":1569193386000},"page":"242-255","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Control Synthesis Through Deep Learning"],"prefix":"10.1007","author":[{"given":"Doron","family":"Peled","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Iosti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,23]]},"reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counter examples. Inf. Comput. 75(2), 87\u2013106 (1987)","journal-title":"Inf. Comput."},{"issue":"3","key":"14_CR2","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10703-011-0128-y","volume":"39","author":"A Basu","year":"2011","unstructured":"Basu, A., Bensalem, S., Peled, D.A., Sifakis, J.: Priority scheduling of distributed systems based on model checking. Formal Meth. Syst. Des. 39(3), 229\u2013245 (2011)","journal-title":"Formal Meth. Syst. Des."},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-319-94111-0_16","volume-title":"Model Checking Software","author":"L Bu","year":"2018","unstructured":"Bu, L., Peled, D., Shen, D., Zhuang, Y.: Genetic synthesis of concurrent code using model checking and statistical model checking. In: Gallardo, M.M., Merino, P. (eds.) SPIN 2018. LNCS, vol. 10869, pp. 275\u2013291. Springer, Cham (2018). \n                      https:\/\/doi.org\/10.1007\/978-3-319-94111-0_16"},{"key":"14_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event Systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer, Berlin (2008). \n                      https:\/\/doi.org\/10.1007\/978-0-387-68612-7","edition":"2"},{"key":"14_CR5","unstructured":"Dean, T.L., et al.: Inferring finite automata with stochastic output functions and an application to map learning. In: Proceedings of the 10th National Conference on Artificial Intelligence, San Jose, CA, USA, 12\u201316 July 1992, pp. 208\u2013214 (1992)"},{"key":"14_CR6","doi-asserted-by":"publisher","DOI":"10.2200\/S00762ED1V01Y201703HLT037","volume-title":"Neural Network Methods for Natural Language Processing","author":"Y Goldberg","year":"2017","unstructured":"Goldberg, Y.: Synthesis lectures on human language technologies. Neural Network Methods for Natural Language Processing. Morgan & Claypool Publishers, San Rafael (2017)"},{"issue":"5","key":"14_CR7","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1093\/jigpal\/jzl007","volume":"14","author":"A Groce","year":"2006","unstructured":"Groce, A., Peled, D.A., Yannakakis, M.: Adaptive model checking. Logic J. IGPL 14(5), 729\u2013744 (2006)","journal-title":"Logic J. IGPL"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. In: Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, Vancouver, B.C., Canada, 27\u201329 August 1984, pp. 50\u201361 (1984)","DOI":"10.1145\/800222.806735"},{"key":"14_CR9","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1090.001.0001","volume-title":"Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control and Artificial Intelligence","author":"JH Holland","year":"1992","unstructured":"Holland, J.H.: Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control and Artificial Intelligence. MIT Press, Cambridge (1992)"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-319-11164-3_26","volume-title":"Runtime Verification","author":"M Isberner","year":"2014","unstructured":"Isberner, M., Howar, F., Steffen, B.: The TTT algorithm: a redundancy-free approach to active automata learning. In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol. 8734, pp. 307\u2013322. Springer, Cham (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-319-11164-3_26"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-662-45231-8_11","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications","author":"C Jegourel","year":"2014","unstructured":"Jegourel, C., Legay, A., Sedwards, S.: An effective heuristic for adaptive importance splitting in statistical model checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 143\u2013159. Springer, Heidelberg (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-662-45231-8_11"},{"issue":"4","key":"14_CR12","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/s10009-016-0418-1","volume":"19","author":"G Katz","year":"2017","unstructured":"Katz, G., Peled, D.: Synthesizing, correcting and improving code, using model checking-based genetic programming. STTT 19(4), 449\u2013464 (2017)","journal-title":"STTT"},{"key":"14_CR13","volume-title":"Genetic programming - on the Programming of Computers by Means of Natural Selection","author":"JR Koza","year":"1993","unstructured":"Koza, J.R.: Complex adaptive systems. Genetic programming - on the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge (1993)"},{"issue":"7540","key":"14_CR14","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1038\/nature14236","volume":"518","author":"V Mnih","year":"2015","unstructured":"Mnih, V., et al.: Human-level control through deep reinforcement learning. Nature 518(7540), 529\u2013533 (2015)","journal-title":"Nature"},{"key":"14_CR15","unstructured":"Neubig, G., et al.: Dynet: The dynamic neural network toolkit. CoRR (2017). \n                      arXiv:1701.03980"},{"issue":"2","key":"14_CR16","first-page":"225","volume":"7","author":"DA Peled","year":"2002","unstructured":"Peled, D.A., Vardi, M.Y., Yannakakis, M.: Black box checking. J. Automata, Lang. Comb. 7(2), 225\u2013246 (2002)","journal-title":"J. Automata, Lang. Comb."},{"key":"14_CR17","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, 11\u201313 January 1989, pp. 179\u2013190 (1989)"},{"issue":"7587","key":"14_CR18","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1038\/nature16961","volume":"529","author":"D Silver","year":"2016","unstructured":"Silver, D., et al.: Mastering the game of go with deep neural networks and tree search. Nature 529(7587), 484\u2013489 (2016)","journal-title":"Nature"},{"key":"14_CR19","unstructured":"Silver, D., et al.: Mastering chess and shogi by self-play with a general reinforcement learning algorithm. CoRR (2017). \n                      arXiv:1712.01815"},{"issue":"1","key":"14_CR20","first-page":"13","volume":"1","author":"WM Wonham","year":"1988","unstructured":"Wonham, W.M., Ramadge, P.J.: Modular supervisory control of discrete-event systems. MCSS 1(1), 13\u201330 (1988)","journal-title":"MCSS"},{"key":"14_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-45657-0_17","volume-title":"Computer Aided Verification","author":"HLS Younes","year":"2002","unstructured":"Younes, H.L.S., Simmons, R.G.: Probabilistic verification of discrete event systems using acceptance sampling. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 223\u2013235. Springer, Heidelberg (2002). \n                      https:\/\/doi.org\/10.1007\/3-540-45657-0_17"}],"container-title":["Lecture Notes in Computer Science","From Reactive Systems to Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31514-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,22]],"date-time":"2019-09-22T23:27:16Z","timestamp":1569194836000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-31514-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030315139","9783030315146"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31514-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"23 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}