{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T03:29:18Z","timestamp":1777519758228,"version":"3.51.4"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031158384","type":"print"},{"value":"9783031158391","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15839-1_17","type":"book-chapter","created":{"date-parts":[[2022,8,28]],"date-time":"2022-08-28T18:02:38Z","timestamp":1661709758000},"page":"298-306","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Learning that\u00a0Grid-Convenience Does Not Hurt Resilience in\u00a0the\u00a0Presence of\u00a0Uncertainty"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6704-8362","authenticated-orcid":false,"given":"Mathis","family":"Niehage","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5912-4767","authenticated-orcid":false,"given":"Anne","family":"Remke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,8,29]]},"reference":[{"issue":"5","key":"17_CR1","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"},{"issue":"9","key":"17_CR2","doi-asserted-by":"publisher","first-page":"2242","DOI":"10.3390\/en13092242","volume":"13","author":"AJ del Real","year":"2020","unstructured":"del Real, A.J., Dorado, F., Dur\u00e1n, J.: Energy demand forecasting using deep learning: applications for the French grid. Energies 13(9), 2242 (2020)","journal-title":"Energies"},{"key":"17_CR3","unstructured":"EDSN: EDSN demand profiles. http:\/\/www.edsn.nl\/verbruiksprofielen\/"},{"key":"17_CR4","unstructured":"Fulton, N., Hunt, N., Hoang, N., Das, S.: Formal verification of end-to-end learning in cyber-physical systems: progress and challenges. arXiv:2006.09181 (2020)"},{"issue":"5","key":"17_CR5","first-page":"1","volume":"6","author":"P Gasser","year":"2019","unstructured":"Gasser, P., et al.: A review on resilience assessment of energy systems. Sustain. Resilient Infrastruct. 6(5), 1\u201327 (2019)","journal-title":"Sustain. Resilient Infrastruct."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Ghasemieh, H., Haverkort, B.R., Jongerden, M.R., Remke, A.: Energy resilience modelling for smart houses. In: Proceedings of the 45th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN 2015), pp. 275\u2013286 (2015)","DOI":"10.1109\/DSN.2015.31"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Gieseke, F., Igel, C.: Training big random forests with little resources. In: 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, KDD 2018, pp. 1445\u20131454. ACM (2018)","DOI":"10.1145\/3219819.3220124"},{"key":"17_CR8","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":"17_CR9","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, France (2019)","DOI":"10.1109\/CDC40024.2019.9028919"},{"key":"17_CR10","unstructured":"Hasanbeig, M., Abate, A., Kroening, D.: Cautious reinforcement learning with logical constraints. In: Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020, Auckland, New Zealand, 9\u201313 May 2020, pp. 483\u2013491. International Foundation for Autonomous Agents and Multiagent Systems (2020)"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Huels, J., Remke, A.: Energy storage in smart homes: grid-convenience versus self-use and survivability. In: 24th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2016, London, United Kingdom, 19\u201321 September 2016, pp. 385\u2013390 (2016)","DOI":"10.1109\/MASCOTS.2016.33"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Jongerden, M., H\u00fcls, J., Remke, A., Haverkort, B.R.: Does your domestic photovoltaic energy system survive grid outages? Energies 9(9), 736:1\u2013736:17 (2016)","DOI":"10.3390\/en9090736"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-319-99154-2_13","volume-title":"Quantitative Evaluation of Systems","author":"S Junges","year":"2018","unstructured":"Junges, S., Jansen, N., Katoen, J.-P., Topcu, U., Zhang, R., Hayhoe, M.: Model checking for safe navigation among humans. In: McIver, A., Horvath, A. (eds.) QEST 2018. LNCS, vol. 11024, pp. 207\u2013222. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99154-2_13"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Lavaei, A., Somenzi, F., Soudjani, S., Trivedi, A., Zamani, M.: Formal controller synthesis for continuous-space MDPs via model-free reinforcement learning. In: 2020 ACM\/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS), pp. 98\u2013107. IEEE, Sydney, Australia (2020)","DOI":"10.1109\/ICCPS48487.2020.00017"},{"key":"17_CR15","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1016\/j.egypro.2018.07.039","volume":"147","author":"M Mola","year":"2018","unstructured":"Mola, M., Feofilovs, M., Romagnoli, F.: Energy resilience: research trends at urban, municipal and country levels. Energy Procedia 147, 104\u2013113 (2018)","journal-title":"Energy Procedia"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Niehage, M., Hartmanns, A., Remke, A.: Learning optimal decisions for stochastic hybrid systems. In: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2021. ACM (2021)","DOI":"10.1145\/3487212.3487339"},{"key":"17_CR17","doi-asserted-by":"publisher","unstructured":"Niehage, M., Remke, A.: Learning that grid-convenience does not hurt resilience in the presence of uncertainty (artifact) (2022). https:\/\/doi.org\/10.5281\/zenodo.6840881","DOI":"10.5281\/zenodo.6840881"},{"key":"17_CR18","unstructured":"NREL: PVWatts. http:\/\/pvwatts.nrel.gov\/index.php"},{"key":"17_CR19","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":"17_CR20","doi-asserted-by":"crossref","unstructured":"Pilch, C., Remke, A.: Statistical model checking for hybrid petri nets with multiple general transitions. In: 2017 47th IEEE\/IFIP International Conference on Dependable Systems & Networks, DSN, pp. 475\u2013486. IEEE (2017)","DOI":"10.1109\/DSN.2017.41"},{"key":"17_CR21","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"},{"key":"17_CR22","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":"17_CR23","series-title":"Adaptive Computation and Machine Learning Series","volume-title":"Reinforcement Learning: An Introduction","author":"RS Sutton","year":"2018","unstructured":"Sutton, R.S., Barto, A.G.: Reinforcement Learning: An Introduction. Adaptive Computation and Machine Learning Series, 2nd edn. The MIT Press, Cambridge (2018)","edition":"2"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Tagawa, Y., et al.: Day-ahead scheduling for supply-demand-storage balancing - model predictive generation with interval prediction of photovoltaics. In: 2015 European Control Conference (ECC), pp. 247\u2013252 (2015)","DOI":"10.1109\/ECC.2015.7330552"},{"issue":"4","key":"17_CR25","doi-asserted-by":"publisher","first-page":"2751","DOI":"10.1109\/JIOT.2019.2957289","volume":"7","author":"L Yu","year":"2020","unstructured":"Yu, L., et al.: Deep reinforcement learning for smart home energy management. IEEE Internet Things J. 7(4), 2751\u20132762 (2020)","journal-title":"IEEE Internet Things J."}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15839-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T23:17:24Z","timestamp":1662074244000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15839-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031158384","9783031158391"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15839-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"29 August 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FORMATS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Modeling and Analysis of Timed Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Warsaw","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"formats2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-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":"30","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":"12","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":"2","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":"40% - 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":"3","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}