{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:10:26Z","timestamp":1743138626694,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319490519"},{"type":"electronic","value":"9783319490526"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","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":[[2016]]},"DOI":"10.1007\/978-3-319-49052-6_9","type":"book-chapter","created":{"date-parts":[[2016,10,31]],"date-time":"2016-10-31T10:34:50Z","timestamp":1477910090000},"page":"134-151","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Synthesis of Admissible Shields"],"prefix":"10.1007","author":[{"given":"Laura","family":"Humphrey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bettina","family":"K\u00f6nighofer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"K\u00f6nighofer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ufuk","family":"Topcu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,1]]},"reference":[{"issue":"3\u20134","key":"9_CR1","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/s00236-013-0191-5","volume":"51","author":"R Bloem","year":"2014","unstructured":"Bloem, R., Chatterjee, K., Greimel, K., Henzinger, T.A., Hofferek, G., Jobstmann, B., K\u00f6nighofer, B., K\u00f6nighofer, R.: Synthesizing robust systems. Acta Informatica 51(3\u20134), 193\u2013220 (2014)","journal-title":"Acta Informatica"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/978-3-319-24953-7_29","volume-title":"Automated Technology for Verification and Analysis","author":"R Bloem","year":"2015","unstructured":"Bloem, R., Ehlers, E., K\u00f6nighofer, R.: Cooperative reactive synthesis. In: Finkbeiner, B., Pu, G., Zhang, L. (eds.) ATVA 2015. LNCS, vol. 9364, pp. 394\u2013410. Springer, Heidelberg (2015). doi:\n                    10.1007\/978-3-319-24953-7_29"},{"issue":"3","key":"9_CR3","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)","journal-title":"J. Comput. Syst. Sci."},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/978-3-662-46681-0_50","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R Bloem","year":"2015","unstructured":"Bloem, R., K\u00f6nighofer, B., K\u00f6nighofer, R., Wang, C.: Shield synthesis: - runtime enforcement for reactive systems. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 533\u2013548. Springer, Heidelberg (2015). doi:\n                    10.1007\/978-3-662-46681-0_50"},{"issue":"1","key":"9_CR5","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/s12555-010-0105-z","volume":"8","author":"H Chao","year":"2010","unstructured":"Chao, H., Cao, Y., Chen, Y.: Autopilots for small unmanned aerial vehicles: a survey. Int. J. Control Autom. Syst. 8(1), 36\u201344 (2010)","journal-title":"Int. J. Control Autom. Syst."},{"issue":"2","key":"9_CR6","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1177\/0018720811435843","volume":"54","author":"J Chen","year":"2012","unstructured":"Chen, J., Barnes, M.: Supervisory control of multiple robot: effects of imperfect automation and individual differences. Hum. Fact.: J. Hum. Fact. Ergon. Soc. 54(2), 157\u2013174 (2012)","journal-title":"Hum. Fact.: J. Hum. Fact. Ergon. Soc."},{"key":"9_CR7","volume-title":"On Integrating Unmanned Aircraft Systems into the National Airspace System: Issues, Challenges, Operational Restrictions, Certification, and Recommendations","author":"K Dalamagkidis","year":"2011","unstructured":"Dalamagkidis, K., Valavanis, K.P., Piegl, L.A.: On Integrating Unmanned Aircraft Systems into the National Airspace System: Issues, Challenges, Operational Restrictions, Certification, and Recommendations, vol. 54. Springer Science & Business Media, Berlin (2011)"},{"issue":"6","key":"9_CR8","doi-asserted-by":"publisher","first-page":"1180","DOI":"10.1109\/TSMCA.2010.2046731","volume":"40","author":"B Donmez","year":"2010","unstructured":"Donmez, B., Nehme, C., Cummings, M.L.: Modeling workload impact in multiple unmanned vehicle supervisory control. IEEE Trans. Syst. Man Cybern. A. Syst. Hum. 40(6), 1180\u20131190 (2010)","journal-title":"IEEE Trans. Syst. Man Cybern. A. Syst. Hum."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Ehlers, R., K\u00f6nighofer, R., Bloem, R.: Synthesizing cooperative reactive mission plans. In: 2015 IEEE\/RSJ International Conference on Intelligent Robots and Systems, IROS 2015, Hamburg, Germany, pp. 3478\u20133485. IEEE (2015)","DOI":"10.1109\/IROS.2015.7353862"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Ehlers, R., Topcu, U.: Resilience to intermittent assumption violations in reactive synthesis. In: 17th International Conference on Hybrid Systems: Computation and Control, HSCC 2014, Berlin, Germany, 15\u201317 April 2014, pp. 203\u2013212. ACM (2014)","DOI":"10.1145\/2562059.2562128"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-642-03816-7_27","volume-title":"Mathematical Foundations of Computer Science 2009","author":"M Faella","year":"2009","unstructured":"Faella, M.: Admissible strategies in infinite games over graphs. In: Kr\u00e1lovi\u010d, R., Niwi\u0144ski, D. (eds.) MFCS 2009. LNCS, vol. 5734, pp. 307\u2013318. Springer, Heidelberg (2009). doi:\n                    10.1007\/978-3-642-03816-7_27"},{"issue":"3","key":"9_CR12","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s10009-011-0196-8","volume":"14","author":"Y Falcone","year":"2012","unstructured":"Falcone, Y., Fernandez, J.-C., Mounier, L.: What can you verify and enforce at runtime? STTT 14(3), 349\u2013382 (2012)","journal-title":"STTT"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Feng, L., Wiltsche, C., Humphrey, L., Topcu, U.: Synthesis of human-in-the-loop control protocols for autonomous systems. In: IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS) (2016)","DOI":"10.1109\/TASE.2016.2530623"},{"issue":"5","key":"9_CR14","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, S.: A brief account of runtime verification. J. Log. Algebr. Program. 78(5), 293\u2013303 (2009)","journal-title":"J. Log. Algebr. Program."},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/978-3-642-54862-8_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"W Li","year":"2014","unstructured":"Li, W., Sadigh, D., Sastry, S.S., Seshia, S.A.: Synthesis for human-in-the-loop control systems. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 470\u2013484. Springer, Heidelberg (2014). doi:\n                    10.1007\/978-3-642-54862-8_40"},{"issue":"1","key":"9_CR16","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/MAES.2009.4772749","volume":"24","author":"R Loh","year":"2009","unstructured":"Loh, R., Bian, Y., Roe, T.: UAVs in civil airspace: safety requirements. IEEE Aerosp. Electron. Syst. Mag. 24(1), 5\u201317 (2009)","journal-title":"IEEE Aerosp. Electron. Syst. Mag."},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1109\/9.664155","volume":"43","author":"J Lygeros","year":"1996","unstructured":"Lygeros, J., Godbole, D.N., Sastry, S.: Verified hybrid controllers for automated vehicles. IEEE Trans. Autom. Control 43, 522\u2013539 (1996)","journal-title":"IEEE Trans. Autom. Control"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Mancini, T., Mari, F., Massini, A., Melatti, I., Tronci, E.: Anytime system level verification via random exhaustive hardware in the loop simulation. In: 2014 17th Euromicro Conference on Digital System Design (DSD), pp. 236\u2013245, August 2014","DOI":"10.1109\/DSD.2014.91"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/3-540-36387-4_2","volume-title":"Automata Logics, and Infinite Games: A Guide to Current Research","author":"R Mazala","year":"2002","unstructured":"Mazala, R.: Infinite games. In: Gr\u00e4del, E., Thomas, W., Wilke, T. (eds.) Automata Logics, and Infinite Games: A Guide to Current Research. LNCS, vol. 2500, pp. 23\u201338. Springer, Heidelberg (2002). doi:\n                    10.1007\/3-540-36387-4_2"},{"key":"9_CR20","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., Rocca, S.R. (eds.) ICALP 1989. LNCS, vol. 372, pp. 652\u2013671. Springer, Heidelberg (1989). doi:\n                    10.1007\/BFb0035790"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49052-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:21:30Z","timestamp":1558315290000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-49052-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319490519","9783319490526"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49052-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"1 November 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"HVC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Haifa Verification Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Haifa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Israel","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 November 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 November 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"hvc2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}