{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T03:24:38Z","timestamp":1777519478376,"version":"3.51.4"},"publisher-location":"Cham","reference-count":63,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031460012","type":"print"},{"value":"9783031460029","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,12,14]],"date-time":"2023-12-14T00:00:00Z","timestamp":1702512000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,12,14]],"date-time":"2023-12-14T00:00:00Z","timestamp":1702512000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-46002-9_6","type":"book-chapter","created":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T16:02:36Z","timestamp":1702483356000},"page":"94-118","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Shielded Learning for\u00a0Resilience and\u00a0Performance Based on\u00a0Statistical Model Checking in\u00a0Simulink"],"prefix":"10.1007","author":[{"given":"Julius","family":"Adelt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Bruch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paula","family":"Herber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathis","family":"Niehage","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anne","family":"Remke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,12,14]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","unstructured":"Adelt, J., Brettschneider, D., Herber, P.: Reusable contracts for safe integration of reinforcement learning in hybrid systems. In: Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, 25\u201328 October 2022, Proceedings, pp. 58\u201374. Springer, Heidelberg (2022). https:\/\/doi.org\/10.1007\/978-3-031-19992-9_4","DOI":"10.1007\/978-3-031-19992-9_4"},{"key":"6_CR2","doi-asserted-by":"publisher","unstructured":"Adelt, J., Herber, P., Niehage, M., Remke, A.: Towards safe and resilient hybrid systems in the presence of learning and uncertainty. In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, 22\u201330 October 2022, Proceedings, Part I, pp. 299\u2013319. Springer, Heidelberg (2022). https:\/\/doi.org\/10.1007\/978-3-031-19849-6_18","DOI":"10.1007\/978-3-031-19849-6_18"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-030-90870-6_19","volume-title":"Formal Methods","author":"J Adelt","year":"2021","unstructured":"Adelt, J., Liebrenz, T., Herber, P.: Formal verification of intelligent hybrid systems that are modeled with simulink and the reinforcement learning toolbox. In: Huisman, M., P\u0103s\u0103reanu, C., Zhan, N. (eds.) FM 2021. LNCS, vol. 13047, pp. 349\u2013366. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-90870-6_19"},{"key":"6_CR4","first-page":"119","volume":"52","author":"A Agresti","year":"1998","unstructured":"Agresti, A., Coull, B.: Approximate is better than \u201cexact\u2019\u2019 for interval estimation of binomial proportions. Am. Stat. 52, 119\u2013126 (1998)","journal-title":"Am. Stat."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Alshiekh, M., Bloem, R., Ehlers, R., K\u00f6nighofer, B., Niekum, S., Topcu, U.: Safe reinforcement learning via shielding. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 32 (2018)","DOI":"10.1609\/aaai.v32i1.11797"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Alur, R.: Formal verification of hybrid systems. In: ACM International Conference on Embedded Software (EMSOFT), pp. 273\u2013278 (2011)","DOI":"10.1145\/2038642.2038685"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Araiza-Illan, D., Eder, K., Richards, A.: Formal verification of control systems\u2019 properties with theorem proving. In: UKACC International Conference on Control (CONTROL), pp. 244\u2013249. IEEE (2014)","DOI":"10.1109\/CONTROL.2014.6915147"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-3-642-40196-1_12","volume-title":"Quantitative Evaluation of Systems","author":"B Boyer","year":"2013","unstructured":"Boyer, B., Corre, K., Legay, A., Sedwards, S.: PLASMA-lab: a flexible, distributable statistical model checking library. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol. 8054, pp. 160\u2013164. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40196-1_12"},{"issue":"6","key":"6_CR9","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1007\/s10009-020-00563-2","volume":"22","author":"CE Budde","year":"2020","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Hartmanns, A., Sedwards, S.: An efficient statistical model checker for nondeterminism and rare events. Int. J. Softw. Tools Technol. Transf. 22(6), 759\u2013780 (2020)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"5","key":"6_CR10","doi-asserted-by":"publisher","first-page":"2386","DOI":"10.1109\/TAC.2020.3006967","volume":"66","author":"M Cai","year":"2021","unstructured":"Cai, M., Peng, H., Li, Z., Kan, Z.: Learning-based probabilistic LTL motion planning with environment and motion uncertainties. IEEE Trans. Autom. Control 66(5), 2386\u20132392 (2021)","journal-title":"IEEE Trans. Autom. Control"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Carr, S., Jansen, N., Junges, S., Topcu, U.: Safe reinforcement learning via shielding under partial observability. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 37, no. 12, pp. 14748\u201314756 (2023)","DOI":"10.1609\/aaai.v37i12.26723"},{"key":"6_CR12","series-title":"NASA Monographs in Systems and Software Engineering","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-319-48628-4_3","volume-title":"Provably Correct Systems","author":"M Chen","year":"2017","unstructured":"Chen, M., et al.: MARS: a toolchain for modelling, analysis and verification of hybrid systems. In: Hinchey, M.G., Bowen, J.P., Olderog, E.-R. (eds.) Provably Correct Systems. NMSSE, pp. 39\u201358. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-48628-4_3"},{"issue":"1","key":"6_CR13","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/TAC.2002.806655","volume":"48","author":"A Chutinan","year":"2003","unstructured":"Chutinan, A., Krogh, B.H.: Computational techniques for hybrid system verification. IEEE Trans. Autom. Control 48(1), 64\u201375 (2003)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"4","key":"6_CR14","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s10009-015-0383-0","volume":"17","author":"P D\u2019Argenio","year":"2015","unstructured":"D\u2019Argenio, P., Legay, A., Sedwards, S., Traonouez, L.M.: Smart sampling for lightweight verification of Markov decision processes. Int. J. Softw. Tools Technol. Transfer 17(4), 469\u2013484 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-030-03421-4_22","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Verification","author":"PR D\u2019Argenio","year":"2018","unstructured":"D\u2019Argenio, P.R., Hartmanns, A., Sedwards, S.: Lightweight statistical model checking in nondeterministic continuous time. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11245, pp. 336\u2013353. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03421-4_22"},{"issue":"4","key":"6_CR16","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/s10009-014-0329-y","volume":"17","author":"C Ellen","year":"2015","unstructured":"Ellen, C., Gerwinn, S., Fr\u00e4nzle, M.: Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains. Int. J. Softw. Tools Technol. Transfer 17(4), 485\u2013504 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"6_CR17","unstructured":"Filipovikj, P., et al.: Analyzing industrial simulink models by statistical model checking (2017)"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/978-3-319-21401-6_36","volume-title":"Automated Deduction - CADE-25","author":"N Fulton","year":"2015","unstructured":"Fulton, N., Mitsch, S., Quesel, J.-D., V\u00f6lp, M., Platzer, A.: KeYmaera\u00a0X: an axiomatic tactical theorem prover for hybrid systems. In: Felty, A.P., Middeldorp, A. (eds.) CADE 2015. LNCS (LNAI), vol. 9195, pp. 527\u2013538. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21401-6_36"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Fulton, N., Platzer, A.: Safe reinforcement learning via formal methods: toward safe control through proof and learning. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 32 (2018)","DOI":"10.1609\/aaai.v32i1.12107"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1007\/978-3-642-16558-0_50","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"A Gomes","year":"2010","unstructured":"Gomes, A., Mota, A., Sampaio, A., Ferri, F., Buzzi, J.: Systematic model-based safety assessment via probabilistic model checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol. 6415, pp. 625\u2013639. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16558-0_50"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1007\/s10009-012-0238-x","volume":"14","author":"A Gomes","year":"2012","unstructured":"Gomes, A., Mota, A., Sampaio, A., Ferri, F., Watanabe, E.: Constructive model-based analysis for safety assessment. Int. J. Softw. Tools Technol. Transfer 14, 673\u2013702 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Gudemann, M., Ortmeier, F.: A framework for qualitative and quantitative formal model-based safety analysis. In: IEEE International Symposium on High Assurance Systems Engineering, pp. 132\u2013141. IEEE (2010)","DOI":"10.1109\/HASE.2010.24"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-030-59152-6_6","volume-title":"Automated Technology for Verification and Analysis","author":"EM Hahn","year":"2020","unstructured":"Hahn, E.M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., Wojtczak, D.: Faithful and effective reward schemes for model-free reinforcement learning of omega-regular objectives. In: Hung, D.V., Sokolsky, O. (eds.) ATVA 2020. LNCS, vol. 12302, pp. 108\u2013124. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59152-6_6"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/978-3-642-54862-8_51","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Hartmanns","year":"2014","unstructured":"Hartmanns, A., Hermanns, H.: The modest toolset: an integrated environment for quantitative modelling and verification. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 593\u2013598. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54862-8_51"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Hasanbeig, M., Kantaros, Y., Abate, A., Kroening, D., Pappas, G.J., Lee, I.: Reinforcement learning for temporal logic control synthesis with probabilistic satisfaction guarantees. In: IEEE Conference on Decision and Control (CDC), pp. 5338\u20135343. IEEE, Nice (2019)","DOI":"10.1109\/CDC40024.2019.9028919"},{"key":"6_CR26","unstructured":"Hasanbeig, M., Abate, A., Kroening, D.: Cautious reinforcement learning with logical constraints. In: AAMAS 2020, International Foundation for Autonomous Agents and Multiagent Systems, pp. 483\u2013491 (2020)"},{"key":"6_CR27","unstructured":"Henderson, P., Islam, R., Bachman, P., Pineau, J., Precup, D., Meger, D.: Deep reinforcement learning that matters. In: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th Innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, 2\u20137 February 2018, vol. 32, pp. 3207\u20133214. AAAI Press (2018)"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Herber, P., Reicherdt, R., Bittner, P.: Bit-precise formal verification of discrete-time MATLAB\/Simulink models using SMT solving. In: International Conference on Embedded Software (EMSOFT), pp. 1\u201310. IEEE (2013)","DOI":"10.1109\/EMSOFT.2013.6658586"},{"issue":"1","key":"6_CR29","doi-asserted-by":"publisher","first-page":"86","DOI":"10.3103\/S0003701X22010078","volume":"58","author":"K Kanwar","year":"2022","unstructured":"Kanwar, K., Vajpai, D.J.: Performance evaluation of different models of PV panel in matlab\/simulink environment. Appl. Solar Energy 58(1), 86\u201394 (2022)","journal-title":"Appl. Solar Energy"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Kn\u00fcppel, A., Th\u00fcm, T., Schaefer, I.: GUIDO: automated guidance for the configuration of deductive program verifiers. In: IEEE\/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), pp. 124\u2013129. IEEE (2021)","DOI":"10.1109\/FormaliSE52586.2021.00018"},{"key":"6_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-030-61362-4_16","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles","author":"B K\u00f6nighofer","year":"2020","unstructured":"K\u00f6nighofer, B., Lorber, F., Jansen, N., Bloem, R.: Shield synthesis for reinforcement learning. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12476, pp. 290\u2013306. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-61362-4_16"},{"key":"6_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation: Modelling Techniques and Tools","author":"M Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 200\u2013204. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46029-2_13"},{"key":"6_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/978-3-319-15201-1_23","volume-title":"Software Engineering and Formal Methods","author":"A Legay","year":"2015","unstructured":"Legay, A., Sedwards, S., Traonouez, L.-M.: Scalable verification of Markov decision processes. In: Canal, C., Idani, A. (eds.) SEFM 2014. LNCS, vol. 8938, pp. 350\u2013362. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15201-1_23"},{"key":"6_CR34","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-319-29510-7_15","volume-title":"Formal Techniques for Safety-Critical Systems","author":"A Legay","year":"2016","unstructured":"Legay, A., Traonouez, L.-M.: Statistical model checking of simulink models with plasma lab. In: Artho, C., \u00d6lveczky, P.C. (eds.) FTSCS 2015. CCIS, vol. 596, pp. 259\u2013264. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-29510-7_15"},{"key":"6_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-030-02450-5_6","volume-title":"Formal Methods and Software Engineering","author":"T Liebrenz","year":"2018","unstructured":"Liebrenz, T., Herber, P., Glesner, S.: Deductive verification of hybrid control systems modeled in simulink with KeYmaera X. In: Sun, J., Sun, M. (eds.) ICFEM 2018. LNCS, vol. 11232, pp. 89\u2013105. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-02450-5_6"},{"key":"6_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-030-40914-2_7","volume-title":"Formal Aspects of Component Software","author":"T Liebrenz","year":"2020","unstructured":"Liebrenz, T., Herber, P., Glesner, S.: A service-oriented approach for decomposing and verifying hybrid system models. In: Arbab, F., Jongmans, S.-S. (eds.) FACS 2019. LNCS, vol. 12018, pp. 127\u2013146. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-40914-2_7"},{"key":"6_CR37","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2021.102694","volume":"211","author":"T Liebrenz","year":"2021","unstructured":"Liebrenz, T., Herber, P., Glesner, S.: Service-oriented decomposition and verification of hybrid system models using feature models and contracts. Sci. Comput. Program. 211, 102694 (2021)","journal-title":"Sci. Comput. Program."},{"issue":"6","key":"6_CR38","doi-asserted-by":"publisher","first-page":"583","DOI":"10.3166\/ejc.16.583-594","volume":"16","author":"J Lygeros","year":"2010","unstructured":"Lygeros, J., Prandini, M.: Stochastic hybrid systems: a powerful framework for complex, large scale applications. Eur. J. Control. 16(6), 583\u2013594 (2010)","journal-title":"Eur. J. Control."},{"key":"6_CR39","doi-asserted-by":"crossref","unstructured":"Mahto, R.K., Kaur, J., Jain, P.: Performance analysis of robotic arm using simulink. In: 2022 IEEE World Conference on Applied Intelligence and Computing (AIC), pp. 508\u2013512. IEEE (2022)","DOI":"10.1109\/AIC55036.2022.9848866"},{"key":"6_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT -2004. LNCS, vol. 3253, pp. 152\u2013166. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12"},{"issue":"12","key":"6_CR41","doi-asserted-by":"publisher","first-page":"10334","DOI":"10.1016\/j.eswa.2011.12.020","volume":"39","author":"G Manno","year":"2012","unstructured":"Manno, G., Chiacchio, F., Compagno, L., D\u2019Urso, D., Trapani, N.: Matcarlore: an integrated FT and monte carlo simulink tool for the reliability assessment of dynamic fault tree. Expert Syst. Appl. 39(12), 10334\u201310342 (2012)","journal-title":"Expert Syst. Appl."},{"key":"6_CR42","doi-asserted-by":"crossref","unstructured":"Minopoli, S., Frehse, G.: SL2SX translator: from Simulink to SpaceEx models. In: International Conference on Hybrid Systems: Computation and Control, pp. 93\u201398. ACM (2016)","DOI":"10.1145\/2883817.2883826"},{"issue":"7540","key":"6_CR43","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":"6_CR44","doi-asserted-by":"crossref","unstructured":"Niehage, M., Hartmanns, A., Remke, A.: Learning optimal decisions for stochastic hybrid systems. In: ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), pp. 44\u201355. ACM (2021)","DOI":"10.1145\/3487212.3487339"},{"key":"6_CR45","doi-asserted-by":"crossref","unstructured":"Niehage, M., Pilch, C., Remke, A.: Simulating hybrid petri nets with general transitions and non-linear differential equations. In: VALUETOOLS 2020: 13th EAI International Conference on Performance Evaluation Methodologies and Tools, Tsukuba, Japan, 18\u201320 May 2020, pp. 88\u201395. ACM (2020)","DOI":"10.1145\/3388831.3388842"},{"key":"6_CR46","doi-asserted-by":"publisher","unstructured":"Niehage, M., Remke, A.: Learning that grid-convenience does not hurt resilience in the presence of uncertainty. In: Formal Modeling and Analysis of Timed Systems, vol. 13465, pp. 298\u2013306. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-15839-1_17","DOI":"10.1007\/978-3-031-15839-1_17"},{"key":"6_CR47","doi-asserted-by":"crossref","unstructured":"Pilch, C., Edenfeld, F., Remke, A.: HYPEG: statistical model checking for hybrid petri nets: tool paper. In: EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS), pp. 186\u2013191. ACM Press (2017)","DOI":"10.1145\/3150928.3150956"},{"key":"6_CR48","doi-asserted-by":"crossref","unstructured":"Pilch, C., Niehage, M., Remke, A.: HPnGs go Non-linear: statistical dependability evaluation of battery-powered systems. In: IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), pp. 157\u2013169. IEEE (2018)","DOI":"10.1109\/MASCOTS.2018.00024"},{"key":"6_CR49","doi-asserted-by":"crossref","unstructured":"Pilch, C., Remke, A.: Statistical model checking for hybrid petri nets with multiple general transitions. In: Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 475\u2013486. IEEE (2017)","DOI":"10.1109\/DSN.2017.41"},{"issue":"2","key":"6_CR50","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10817-008-9103-8","volume":"41","author":"A Platzer","year":"2008","unstructured":"Platzer, A.: Differential dynamic logic for hybrid systems. J. Autom. Reason. 41(2), 143\u2013189 (2008)","journal-title":"J. Autom. Reason."},{"key":"6_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-319-10431-7_14","volume-title":"Software Engineering and Formal Methods","author":"R Reicherdt","year":"2014","unstructured":"Reicherdt, R., Glesner, S.: Formal verification of discrete-time MATLAB\/simulink models using boogie. In: Giannakopoulou, D., Sala\u00fcn, G. (eds.) SEFM 2014. LNCS, vol. 8702, pp. 190\u2013204. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10431-7_14"},{"key":"6_CR52","doi-asserted-by":"crossref","unstructured":"Sadigh, D., Kim, E.S., Coogan, S., Sastry, S.S., Seshia, S.A.: A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications. In: IEEE Conference on Decision and Control, pp. 1091\u20131096. IEEE (2014)","DOI":"10.21236\/ADA623517"},{"key":"6_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-319-66266-4_16","volume-title":"Computer Safety, Reliability, and Security","author":"M Sarao\u011flu","year":"2017","unstructured":"Sarao\u011flu, M., Morozov, A., S\u00f6ylemez, M.T., Janschek, K.: ErrorSim: a tool for error propagation analysis of simulink models. In: Tonetta, S., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2017. LNCS, vol. 10488, pp. 245\u2013254. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66266-4_16"},{"key":"6_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-319-49052-6_10","volume-title":"Hardware and Software: Verification and Testing","author":"F Shmarov","year":"2016","unstructured":"Shmarov, F., Zuliani, P.: Probabilistic hybrid systems verification via SMT and monte carlo techniques. In: Bloem, R., Arbel, E. (eds.) HVC 2016. LNCS, vol. 10028, pp. 152\u2013168. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-49052-6_10"},{"key":"6_CR55","volume-title":"Reinforcement Learning: An Introduction","author":"RS Sutton","year":"2018","unstructured":"Sutton, R.S., Barto, A.G.: Reinforcement Learning: An Introduction, 2nd edn. The MIT Press, Cambridge (2018)","edition":"2"},{"key":"6_CR56","unstructured":"The MathWorks: Simulink. https:\/\/de.mathworks.com\/products\/simulink.html"},{"key":"6_CR57","unstructured":"The MathWorks: Reinforcement Learning Toolbox. https:\/\/www.mathworks.com\/products\/reinforcement-learning.html"},{"key":"6_CR58","unstructured":"The MathWorks: Simulink Design Verifier. https:\/\/de.mathworks.com\/products\/simulink-design-verifier.html"},{"key":"6_CR59","unstructured":"The MathWorks: Simulink Example: Water Distribution System Scheduling Using Reinforcement Learning. https:\/\/de.mathworks.com\/help\/reinforcement-learning\/ug\/water-distribution-scheduling-system.html"},{"key":"6_CR60","doi-asserted-by":"crossref","unstructured":"Tsoutsanis, E., Meskin, N., Benammar, M., Khorasani, K.: Dynamic performance simulation of an aeroderivative gas turbine using the matlab simulink environment. In: ASME International Mechanical Engineering Congress and Exposition, vol. 56246, p. V04AT04A050. American Society of Mechanical Engineers (2013)","DOI":"10.1115\/IMECE2013-64102"},{"issue":"158","key":"6_CR61","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1080\/01621459.1927.10502953","volume":"22","author":"E Wilson","year":"1927","unstructured":"Wilson, E.: Probable inference, the law of succession, and statistical inference. J. Am. Stat. Assoc. 22(158), 209\u2013212 (1927)","journal-title":"J. Am. Stat. Assoc."},{"key":"6_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1007\/978-3-319-24953-7_33","volume-title":"Automated Technology for Verification and Analysis","author":"L Zou","year":"2015","unstructured":"Zou, L., Zhan, N., Wang, S., Fr\u00e4nzle, M.: Formal verification of simulink\/stateflow diagrams. In: Finkbeiner, B., Pu, G., Zhang, L. (eds.) ATVA 2015. LNCS, vol. 9364, pp. 464\u2013481. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-24953-7_33"},{"key":"6_CR63","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/s10703-013-0195-3","volume":"43","author":"P Zuliani","year":"2013","unstructured":"Zuliani, P., Platzer, A., Clarke, E.M.: Bayesian statistical model checking with application to stateflow\/simulink verification. Formal Methods Syst. Des. 43, 338\u2013367 (2013)","journal-title":"Formal Methods Syst. Des."}],"container-title":["Lecture Notes in Computer Science","Bridging the Gap Between AI and Reality"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-46002-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T16:03:48Z","timestamp":1702483428000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-46002-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,14]]},"ISBN":["9783031460012","9783031460029"],"references-count":63,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-46002-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,12,14]]},"assertion":[{"value":"14 December 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Bridging the Gap between AI and Reality","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aisola2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2023-aisola.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}