{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T07:51:20Z","timestamp":1790927480325,"version":"4.1.0"},"publisher-location":"Cham","reference-count":53,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030255398","type":"print"},{"value":"9783030255404","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":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-25540-4_35","type":"book-chapter","created":{"date-parts":[[2019,7,12]],"date-time":"2019-07-12T15:02:35Z","timestamp":1562943755000},"page":"609-629","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":26,"title":["Temporal Stream Logic: Synthesis Beyond the Bools"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Finkbeiner","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Felix","family":"Klein","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ruzica","family":"Piskac","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mark","family":"Santolucito","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,7,12]]},"reference":[{"key":"35_CR1","unstructured":"Alur, R., Moarref, S., Topcu, U.: Counter-strategy guided refinement of GR(1) temporal logic specifications. In: Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, 20\u201323 October 2013, pp. 26\u201333. IEEE (2013). http:\/\/ieeexplore.ieee.org\/document\/6679387\/"},{"key":"35_CR2","unstructured":"Apfelmus, H.: Reactive-banana. Haskell library (2012). http:\/\/www.haskell.org\/haskellwiki\/Reactive-banana"},{"key":"35_CR3","doi-asserted-by":"publisher","unstructured":"Baaij, C.: Digital circuit in C $$\\lambda $$ aSH: functional specifications and type-directed synthesis. Ph.D. thesis, University of Twente, January 2015. https:\/\/doi.org\/10.3990\/1.9789036538039 , eemcs-eprint-23939","DOI":"10.3990\/1.9789036538039"},{"key":"35_CR4","doi-asserted-by":"publisher","unstructured":"Beyene, T.A., Chaudhuri, S., Popeea, C., Rybalchenko, A.: A constraint-based approach to solving games on infinite graphs. In: Jagannathan and Sewell [26], pp. 221\u2013234. https:\/\/doi.org\/10.1145\/2535838.2535860 , http:\/\/doi.acm.org\/10.1145\/2535838.2535860","DOI":"10.1145\/2535838.2535860"},{"key":"35_CR5","doi-asserted-by":"publisher","unstructured":"Bloem, R., Hofferek, G., K\u00f6nighofer, B., K\u00f6nighofer, R., Ausserlechner, S., Spork, R.: Synthesis of synchronization using uninterpreted functions. In: Formal Methods in Computer-Aided Design, FMCAD 2014, Lausanne, Switzerland, 21\u201324 October 2014, pp. 35\u201342. IEEE (2014). https:\/\/doi.org\/10.1109\/FMCAD.2014.6987593","DOI":"10.1109\/FMCAD.2014.6987593"},{"key":"35_CR6","doi-asserted-by":"publisher","first-page":"68","DOI":"10.4204\/EPTCS.157.9","volume":"157","author":"Roderick Bloem","year":"2014","unstructured":"Bloem, R., Jacobs, S., Khalimov, A.: Parameterized synthesis case study: AMBA AHB. In: Chatterjee, K., Ehlers, R., Jha, S. (eds.) Proceedings 3rd Workshop on Synthesis, SYNT 2014. EPTCS, Vienna, Austria, 23\u201324 July 2014, vol. 157, pp. 68\u201383 (2014). https:\/\/doi.org\/10.4204\/EPTCS.157.9","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"issue":"3","key":"35_CR7","doi-asserted-by":"publisher","first-page":"911","DOI":"10.1016\/j.jcss.2011.08.007","volume":"78","author":"R Bloem","year":"2012","unstructured":"Bloem, R., Jobstmann, B., Piterman, N., Pnueli, A., Sa\u2019ar, Y.: Synthesis of reactive(1) designs. J. Comput. Syst. Sci. 78(3), 911\u2013938 (2012). https:\/\/doi.org\/10.1016\/j.jcss.2011.08.007","journal-title":"J. Comput. Syst. Sci."},{"key":"35_CR8","doi-asserted-by":"publisher","unstructured":"Cave, A., Ferreira, F., Panangaden, P., Pientka, B.: Fair reactive programming. In: Jagannathan and Sewell [26], pp. 361\u2013372. https:\/\/doi.org\/10.1145\/2535838.2535881 , http:\/\/doi.acm.org\/10.1145\/2535838.2535881","DOI":"10.1145\/2535838.2535881"},{"issue":"5","key":"35_CR9","doi-asserted-by":"publisher","first-page":"752","DOI":"10.1145\/876638.876643","volume":"50","author":"EM Clarke","year":"2003","unstructured":"Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM 50(5), 752\u2013794 (2003). https:\/\/doi.org\/10.1145\/876638.876643","journal-title":"J. ACM"},{"key":"35_CR10","doi-asserted-by":"publisher","unstructured":"Courtney, A., Nilsson, H., Peterson, J.: The yampa arcade. In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2003, Uppsala, Sweden, 28 August 2003, pp. 7\u201318. ACM, (2003). https:\/\/doi.org\/10.1145\/871895.871897 , http:\/\/doi.acm.org\/10.1145\/871895.871897","DOI":"10.1145\/871895.871897"},{"key":"35_CR11","unstructured":"Czaplicki, E., Chong, S.: Asynchronous functional reactive programming for Guis. In: Boehm, H., Flanagan, C. (eds.) ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2013, Seattle, WA, USA, 16\u201319 June 2013, pp. 411\u2013422. ACM (2013). https:\/\/dl.acm.org\/citation.cfm?doid=2462156.2462161 , http:\/\/doi.acm.org\/10.1145\/2462156.2462161"},{"key":"35_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-642-33365-1_9","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"R Dimitrova","year":"2012","unstructured":"Dimitrova, R., Finkbeiner, B.: Counterexample-guided synthesis of observation predicates. In: Jurdzi\u0144ski, M., Ni\u010dkovi\u0107, D. (eds.) FORMATS 2012. LNCS, vol. 7595, pp. 107\u2013122. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33365-1_9"},{"key":"35_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/978-3-642-54013-4_23","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"R Ehlers","year":"2014","unstructured":"Ehlers, R., Seshia, S.A., Kress-Gazit, H.: Synthesis with identifiers. In: McMillan, K.L., Rival, X. (eds.) VMCAI 2014. LNCS, vol. 8318, pp. 415\u2013433. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54013-4_23"},{"key":"35_CR14","doi-asserted-by":"publisher","unstructured":"Elliott, C., Hudak, P.: Functional reactive animation. In: Jones, S.L.P., Tofte, M., Berman, A.M. (eds.) Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP 1997), Amsterdam, The Netherlands, 9\u201311 June 1997, pp. 263\u2013273. ACM (1997). https:\/\/doi.org\/10.1145\/258948.258973 , http:\/\/doi.acm.org\/10.1145\/258948.258973","DOI":"10.1145\/258948.258973"},{"key":"35_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-319-63390-9_17","volume-title":"Computer Aided Verification","author":"P Faymonville","year":"2017","unstructured":"Faymonville, P., Finkbeiner, B., Tentrup, L.: BoSy: an experimentation framework for bounded synthesis. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10427, pp. 325\u2013332. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63390-9_17"},{"key":"35_CR16","doi-asserted-by":"publisher","unstructured":"Feser, J.K., Chaudhuri, S., Dillig, I.: Synthesizing data structure transformations from input-output examples. In: Grove and Blackburn [22], pp. 229\u2013239. https:\/\/doi.org\/10.1145\/2737924.2737977 , http:\/\/doi.acm.org\/10.1145\/2737924.2737977","DOI":"10.1145\/2737924.2737977"},{"key":"35_CR17","unstructured":"Finkbeiner, B.: Synthesis of reactive systems. In: Esparza, J., Grumberg, O., Sickert, S. (eds.) Dependable Software Systems Engineering. NATO Science for Peace and Security Series, D: Information and Communication Security, vol. 45, pp. 72\u201398. IOS Press (2016)"},{"key":"35_CR18","doi-asserted-by":"publisher","unstructured":"Finkbeiner, B., Klein, F., Piskac, R., Santolucito, M.: Vehicle platooning simulations with functional reactive programming. In: Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, SCAV@CPSWeek 2017, Pittsburgh, PA, USA, 21 April 2017, pp. 43\u201347. ACM, (2017). https:\/\/doi.org\/10.1145\/3055378.3055385 , http:\/\/doi.acm.org\/10.1145\/3055378.3055385","DOI":"10.1145\/3055378.3055385"},{"key":"35_CR19","unstructured":"Finkbeiner, B., Klein, F., Piskac, R., Santolucito, M.: Temporal stream logic: Synthesis beyond the bools. CoRR abs\/1712.00246 (2019). http:\/\/arxiv.org\/abs\/1712.00246"},{"issue":"5\u20136","key":"35_CR20","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/s10009-012-0228-z","volume":"15","author":"B Finkbeiner","year":"2013","unstructured":"Finkbeiner, B., Schewe, S.: Bounded synthesis. STTT 15(5\u20136), 519\u2013539 (2013). https:\/\/doi.org\/10.1007\/s10009-012-0228-z","journal-title":"STTT"},{"key":"35_CR21","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/978-3-030-01090-4_26","volume-title":"Automated Technology for Verification and Analysis","author":"Carsten Gerstacker","year":"2018","unstructured":"Gerstacker, C., Klein, F., Finkbeiner, B.: Bounded synthesis of reactive programs. In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, 7\u201310 October 2018, Proceedings, pp. 441\u2013457 (2018). https:\/\/doi.org\/10.1007\/978-3-030-01090-4_26"},{"key":"35_CR22","doi-asserted-by":"crossref","unstructured":"Grove, D., Blackburn, S. (eds.): Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, 15\u201317 June 2015. ACM (2015). http:\/\/dl.acm.org\/citation.cfm?id=2737924","DOI":"10.1145\/2737924"},{"key":"35_CR23","doi-asserted-by":"publisher","unstructured":"Helbling, C., Guyer, S.Z.: Juniper: a functional reactive programming language for the arduino. In: Janin and Sperber [27], pp. 8\u201316. https:\/\/doi.org\/10.1145\/2975980.2975982 , http:\/\/doi.acm.org\/10.1145\/2975980.2975982","DOI":"10.1145\/2975980.2975982"},{"key":"35_CR24","doi-asserted-by":"crossref","unstructured":"Hsu, K., Majumdar, R., Mallik, K., Schmuck, A.K.: Multi-layered abstraction-based controller synthesis for continuous-time systems. In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), pp. 120\u2013129. ACM (2018)","DOI":"10.1145\/3178126.3178143"},{"key":"35_CR25","doi-asserted-by":"publisher","unstructured":"Jacobs, S., et al.: The 4th reactive synthesis competition (SYNTCOMP 2017): Benchmarks, participants and results. In: SYNT 2017. EPTCS, vol. 260, pp. 116\u2013143 (2017). https:\/\/doi.org\/10.4204\/EPTCS.260.10","DOI":"10.4204\/EPTCS.260.10"},{"key":"35_CR26","doi-asserted-by":"crossref","unstructured":"Jagannathan, S., Sewell, P. (eds.): The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, San Diego, CA, USA, 20\u201321 January 2014. ACM (2014). http:\/\/dl.acm.org\/citation.cfm?id=2535838","DOI":"10.1145\/2535838"},{"key":"35_CR27","doi-asserted-by":"publisher","unstructured":"Janin, D., Sperber, M. (eds.): Proceedings of the 4th International Workshop on Functional Art, Music, Modelling, and Design, FARM@ICFP 2016, Nara, Japan, 24 September 2016. ACM (2016). https:\/\/doi.org\/10.1145\/2975980 , http:\/\/doi.acm.org\/10.1145\/2975980","DOI":"10.1145\/2975980"},{"key":"35_CR28","doi-asserted-by":"publisher","unstructured":"Jeffrey, A.: LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs. In: Claessen, K., Swamy, N. (eds.) Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, 24 January 2012, pp. 49\u201360. ACM (2012). https:\/\/doi.org\/10.1145\/2103776.2103783 , http:\/\/doi.acm.org\/10.1145\/2103776.2103783","DOI":"10.1145\/2103776.2103783"},{"key":"35_CR29","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/j.entcs.2012.08.015","volume":"286","author":"W Jeltsch","year":"2012","unstructured":"Jeltsch, W.: Towards a common categorical semantics for linear-time temporal logic and functional reactive programming. Electr. Notes Theor. Comput. Sci. 286, 229\u2013242 (2012). https:\/\/doi.org\/10.1016\/j.entcs.2012.08.015","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"35_CR30","doi-asserted-by":"publisher","unstructured":"Krishnaswami, N.R.: Higher-order functional reactive programming without spacetime leaks. In: Morrisett, G., Uustalu, T. (eds.) ACM SIGPLAN International Conference on Functional Programming, ICFP 2013, Boston, MA, USA, 25\u201327 September 2013, pp. 221\u2013232. ACM (2013). https:\/\/doi.org\/10.1145\/2500365.2500588 , http:\/\/doi.acm.org\/10.1145\/2500365.2500588","DOI":"10.1145\/2500365.2500588"},{"key":"35_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1007\/978-3-642-14295-6_38","volume-title":"Computer Aided Verification","author":"V Kuncak","year":"2010","unstructured":"Kuncak, V., Mayer, M., Piskac, R., Suter, P.: Comfusy: a tool for complete functional synthesis. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 430\u2013433. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14295-6_38"},{"issue":"5","key":"35_CR32","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.entcs.2011.02.018","volume":"229","author":"S Lindley","year":"2011","unstructured":"Lindley, S., Wadler, P., Yallop, J.: Idioms are oblivious, arrows are meticulous, monads are promiscuous. Electr. Notes Theor. Comput. Sci. 229(5), 97\u2013117 (2011). https:\/\/doi.org\/10.1016\/j.entcs.2011.02.018","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"4\u20135","key":"35_CR33","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1017\/S0956796811000153","volume":"21","author":"H Liu","year":"2011","unstructured":"Liu, H., Cheng, E., Hudak, P.: Causal commutative arrows. J. Funct. Program. 21(4\u20135), 467\u2013496 (2011). https:\/\/doi.org\/10.1017\/S0956796811000153","journal-title":"J. Funct. Program."},{"key":"35_CR34","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.entcs.2007.10.006","volume":"193","author":"H Liu","year":"2007","unstructured":"Liu, H., Hudak, P.: Plugging a space leak with an arrow. Electr. Notes Theor. Comput. Sci. 193, 29\u201345 (2007). https:\/\/doi.org\/10.1016\/j.entcs.2007.10.006","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"35_CR35","doi-asserted-by":"publisher","unstructured":"Madhusudan, P.: Synthesizing reactive programs. In: Bezem, M. (ed.) Computer Science Logic, 25th International Workshop\/20th Annual Conference of the EACSL, CSL 2011, Bergen, Norway, 12\u201315 September 2011, Proceedings. LIPIcs, vol. 12, pp. 428\u2013442. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2011). https:\/\/doi.org\/10.4230\/LIPIcs.CSL.2011.428","DOI":"10.4230\/LIPIcs.CSL.2011.428"},{"key":"35_CR36","doi-asserted-by":"publisher","unstructured":"Mainland, G. (ed.): Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, 22\u201323 September 2016. ACM (2016). https:\/\/doi.org\/10.1145\/2976002 , http:\/\/doi.acm.org\/10.1145\/2976002","DOI":"10.1145\/2976002"},{"key":"35_CR37","unstructured":"Mallik, K., Schmuck, A.K., Soudjani, S., Majumdar, R.: Compositional abstraction-based controller synthesis for continuous-time systems. arXiv preprint arXiv:1612.08515 (2016)"},{"issue":"1","key":"35_CR38","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/357084.357090","volume":"2","author":"Z Manna","year":"1980","unstructured":"Manna, Z., Waldinger, R.: A deductive approach to program synthesis. ACM Trans. Program. Lang. Syst. 2(1), 90\u2013121 (1980). https:\/\/doi.org\/10.1145\/357084.357090","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"35_CR39","doi-asserted-by":"publisher","unstructured":"Murphy, T.E.: A livecoding semantics for functional reactive programming. In: Janin and Sperber [27], pp. 48\u201353. https:\/\/doi.org\/10.1145\/2975980.2975986 http:\/\/doi.acm.org\/10.1145\/2975980.2975986","DOI":"10.1145\/2975980.2975986"},{"key":"35_CR40","doi-asserted-by":"publisher","unstructured":"Osera, P., Zdancewic, S.: Type-and-example-directed program synthesis. In: Grove and Blackburn [22], pp. 619\u2013630. https:\/\/doi.org\/10.1145\/2737924.2738007 , http:\/\/doi.acm.org\/10.1145\/2737924.2738007","DOI":"10.1145\/2737924.2738007"},{"key":"35_CR41","doi-asserted-by":"publisher","unstructured":"Perez, I., B\u00e4renz, M., Nilsson, H.: Functional reactive programming, refactored. In: Mainland [36], pp. 33\u201344. https:\/\/doi.org\/10.1145\/2976002.2976010 , http:\/\/doi.acm.org\/10.1145\/2976002.2976010","DOI":"10.1145\/2976002.2976010"},{"key":"35_CR42","doi-asserted-by":"publisher","unstructured":"van der Ploeg, A., Claessen, K.: Practical principled FRP: forget the past, change the future, FRPNow! In: Fisher, K., Reppy, J.H. (eds.) Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, 1\u20133 September 2015, pp. 302\u2013314. ACM (2015). https:\/\/doi.org\/10.1145\/2784731.2784752 , http:\/\/doi.acm.org\/10.1145\/2784731.2784752","DOI":"10.1145\/2784731.2784752"},{"key":"35_CR43","doi-asserted-by":"publisher","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October\u20131 November 1977, pp. 46\u201357. IEEE Computer Society (1977). https:\/\/doi.org\/10.1109\/SFCS.1977.32","DOI":"10.1109\/SFCS.1977.32"},{"key":"35_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"652","DOI":"10.1007\/BFb0035790","volume-title":"Automata, Languages and Programming","author":"A Pnueli","year":"1989","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of an asynchronous reactive module. In: Ausiello, G., Dezani-Ciancaglini, M., Della Rocca, S.R. (eds.) ICALP 1989. LNCS, vol. 372, pp. 652\u2013671. Springer, Heidelberg (1989). https:\/\/doi.org\/10.1007\/BFb0035790"},{"issue":"4","key":"35_CR45","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1090\/S0002-9904-1946-08555-9","volume":"52","author":"EL Post","year":"1946","unstructured":"Post, E.L.: A variant of a recursively unsolvable problem. Bull. Am. Math. Soc. 52(4), 264\u2013268 (1946). http:\/\/projecteuclid.org\/euclid.bams\/1183507843","journal-title":"Bull. Am. Math. Soc."},{"key":"35_CR46","doi-asserted-by":"publisher","unstructured":"Shan, Z., Azim, T., Neamtiu, I.: Finding resume and restart errors in android applications. In: Visser, E., Smaragdakis, Y. (eds.) Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, 30 October\u20134 November 2016, pp. 864\u2013880. ACM (2016). https:\/\/doi.org\/10.1145\/2983990.2984011 , http:\/\/doi.acm.org\/10.1145\/2983990.2984011","DOI":"10.1145\/2983990.2984011"},{"issue":"5\u20136","key":"35_CR47","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/s10009-012-0249-7","volume":"15","author":"A Solar-Lezama","year":"2013","unstructured":"Solar-Lezama, A.: Program sketching. STTT 15(5\u20136), 475\u2013495 (2013). https:\/\/doi.org\/10.1007\/s10009-012-0249-7","journal-title":"STTT"},{"key":"35_CR48","unstructured":"Trinkle, R.: Reflex-frp (2017). https:\/\/github.com\/reflex-frp\/reflex"},{"issue":"5\u20136","key":"35_CR49","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/s10009-012-0232-3","volume":"15","author":"MT Vechev","year":"2013","unstructured":"Vechev, M.T., Yahav, E., Yorsh, G.: Abstraction-guided synthesis of synchronization. STTT 15(5\u20136), 413\u2013431 (2013). https:\/\/doi.org\/10.1007\/s10009-012-0232-3","journal-title":"STTT"},{"key":"35_CR50","doi-asserted-by":"publisher","unstructured":"Wang, X., Dillig, I., Singh, R.: Synthesis of data completion scripts using finite tree automata. PACMPL 1(OOPSLA), 62:1\u201362:26 (2017). https:\/\/doi.org\/10.1145\/3133886 , http:\/\/doi.acm.org\/10.1145\/3133886","DOI":"10.1145\/3133886"},{"key":"35_CR51","unstructured":"Winograd-Cort, D.: Effects, Asynchrony, and Choice in Arrowized Functional Reactive Programming. Ph.D. thesis, Yale University, December 2015. http:\/\/www.danwc.com\/s\/dwc-yale-formatted-dissertation.pdf"},{"issue":"01","key":"35_CR52","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S2301385013500027","volume":"1","author":"T Wongpiromsarn","year":"2013","unstructured":"Wongpiromsarn, T., Topcu, U., Murray, R.M.: Synthesis of control protocols for autonomous systems. Unmanned Syst. 1(01), 21\u201339 (2013)","journal-title":"Unmanned Syst."},{"key":"35_CR53","doi-asserted-by":"publisher","unstructured":"Yallop, J., Liu, H.: Causal commutative arrows revisited. In: Mainland [36], pp. 21\u201332. https:\/\/doi.org\/10.1145\/2976002.2976019 , http:\/\/doi.acm.org\/10.1145\/2976002.2976019","DOI":"10.1145\/2976002.2976019"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-25540-4_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,12]],"date-time":"2021-01-12T10:03:00Z","timestamp":1610445780000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-25540-4_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030255398","9783030255404"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-25540-4_35","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":"12 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Aided Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"New York City, NY","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cav0","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/i-cav.org\/2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"258","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"67","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}