{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T16:13:07Z","timestamp":1783699987938,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"German Research Foundation","award":["SFB 1608 - 501798263"],"award-info":[{"award-number":["SFB 1608 - 501798263"]}]},{"DOI":"10.13039\/501100009318","name":"Helmholtz Association","doi-asserted-by":"publisher","award":["Grant 46.23"],"award-info":[{"award-number":["Grant 46.23"]}],"id":[{"id":"10.13039\/501100009318","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Helmholtz Association","award":["KiKIT"],"award-info":[{"award-number":["KiKIT"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3793656.3793691","type":"proceedings-article","created":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T15:00:53Z","timestamp":1783695653000},"page":"46-56","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Optimisation of Disaster Resource Distribution with Risk Uncertainty Using Fuzzy Theory"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9646-1156","authenticated-orcid":false,"given":"Diego","family":"Perez-Palacin","sequence":"first","affiliation":[{"name":"Linnaeus University, V\u00e4xj\u00f6, Sweden and Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9116-7185","authenticated-orcid":false,"given":"Kenneth","family":"Johnson","sequence":"additional","affiliation":[{"name":"Auckland University of Technology, Auckland, New Zealand"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4337-4734","authenticated-orcid":false,"given":"Vincenzo","family":"Grassi","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Roma Tor Vergata, Rome, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3154-2438","authenticated-orcid":false,"given":"Raffaela","family":"Mirandola","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,10]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-36426-9_4"},{"key":"e_1_3_3_1_3_2","unstructured":"James\u00a0J. Buckley and Esfandiar Eslami. 2006. Fuzzy Markov Chains: Uncertain Probabilities. https:\/\/upcommons.upc.edu\/server\/api\/core\/bitstreams\/c6e4e981-3a4b-45cf-9f63-6296322aeb16\/content"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","unstructured":"James\u00a0J. Buckley and Yunxia Qu. 1990. On using \u03b1 -cuts to evaluate fuzzy equations. Fuzzy Sets and Systems 38 3 (1990) 309\u2013312. 10.1016\/0165-0114(90)90204-J","DOI":"10.1016\/0165-0114(90)90204-J"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACSOS49614.2020.00047"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","unstructured":"Winifred\u00a0X. Chen Nicholas\u00a0M. Houghton and Barrett\u00a0S. Caldwell. 2022. Reducing the \u201cFog of Uncertainty\u201d Surrounding Humanitarian Aid and Disaster Response Operations. Advances in Transdisciplinary Engineering 28 (2022) 144\u2013153. 10.3233\/ATDE220641Transdisciplinarity and the Future of Engineering.","DOI":"10.3233\/ATDE220641"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","unstructured":"Hugo Cruz-Su\u00e1rez Ra\u00fal Montes-de Oca and R.\u00a0Israel Ortega-Guti\u00e9rrez. 2023. Deterministic Discounted Markov Decision Processes with Fuzzy Rewards\/Costs. Fuzzy Information and Engineering 15 3 (2023) 274\u2013290. 10.26599\/FIE.2023.9270020","DOI":"10.26599\/FIE.2023.9270020"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","unstructured":"Ali Goli and Behnam Malmir. 2020. A Covering Tour Approach for Disaster Relief Locating and Routing with Fuzzy Demand. International Journal of Intelligent Transportation Systems Research 18 (2020) 140\u2013152. 10.1007\/s13177-019-00185-2","DOI":"10.1007\/s13177-019-00185-2"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/FormaliSE66629.2025.00018"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","unstructured":"Mahbubeh Haghi Seyed Mohammad\u00a0Taghi Fatemi Ghomi and Fariborz Jolai. 2017. Developing a robust multi-objective model for pre\/post disaster times under uncertainty in demand and resource. Journal of Cleaner Production 154 (2017) 188\u2013202. 10.1016\/j.jclepro.2017.03.102","DOI":"10.1016\/j.jclepro.2017.03.102"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-30823-9_24"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","unstructured":"Christian Hensel Sebastian Junges Joost-Pieter Katoen et\u00a0al. 2022. The probabilistic model checker Storm. International Journal on Software Tools for Technology Transfer 24 4 (2022) 589\u2013610. 10.1007\/s10009-021-00633-z","DOI":"10.1007\/s10009-021-00633-z"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","unstructured":"Sohaiba Iqbal Muhammad\u00a0Usama Sardar Faiq\u00a0Khalid Lodhi and Osman Hasan. 2018. Statistical model checking of relief supply location and distribution in natural disaster management. International Journal of Disaster Risk Reduction 31 (2018) 1043\u20131053. 10.1016\/j.ijdrr.2018.04.010","DOI":"10.1016\/j.ijdrr.2018.04.010"},{"key":"e_1_3_3_1_14_2","first-page":"49","volume-title":"Proceedings of the 18th ISCRAM Conference","author":"Johnson Kenneth","year":"2021","unstructured":"Kenneth Johnson, Javier C\u00e1mara, Roopak Sinha, Samaneh Madanian, and Dave Parry. 2021. Towards Self-Adaptive Disaster Management Systems. In Proceedings of the 18th ISCRAM Conference. 49\u201361."},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/FormaliSE66629.2025.00012"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","unstructured":"Kenneth Johnson Samaneh Madanian and Roopak Sinha. 2020. Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected Regions. (8 2020) 521\u2013528. 10.1109\/SEAA51224.2020.00087","DOI":"10.1109\/SEAA51224.2020.00087"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","unstructured":"Emine\u00a0Nisa Kapukaya and Sule\u00a0Itir Satoglu. 2025. A Multi-Objective Dynamic Resource Allocation Model for Search and Rescue and First Aid Tasks in Disaster Response by Employing Volunteers. Logistics 9 1 (2025). 10.3390\/logistics9010041","DOI":"10.3390\/logistics9010041"},{"key":"e_1_3_3_1_18_2","volume-title":"Fuzzy sets and fuzzy logic: theory and applications","author":"Klir George\u00a0J.","year":"1995","unstructured":"George\u00a0J. Klir and Bo Yuan. 1995. Fuzzy sets and fuzzy logic: theory and applications. Upper Saddle River, NJ: Prentice Hall."},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Masami Kurano Masami Yasuda Jun ichi Nakagami and Yuji Yoshida. 1996. Markov-type fuzzy decision processes with a discounted reward on a closed interval. European Journal of Operational Research 92 3 (1996) 649\u2013662. 10.1016\/0377-2217(95)00140-9","DOI":"10.1016\/0377-2217(95)00140-9"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","unstructured":"M. Kurano M. Yasuda J. Nakagami and Y. Yoshida. 2006. A fuzzy approach to Markov decision processes with uncertain transition probabilities. Fuzzy Sets and Systems 157 19 (2006) 2674\u20132682. 10.1016\/j.fss.2004.10.023Fuzzy Sets and Probability\/Statistics Theories.","DOI":"10.1016\/j.fss.2004.10.023"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"e_1_3_3_1_22_2","unstructured":"Samaneh Madanian Kenneth Johnson Mathew\u00a0St Martin Roopak Sinha Javier C\u00e1mara and David Parry. 2022. Adaptable socio-cyber physical systems for supporting disaster response. Australasian Journal of Disaster and Trauma Studies 26 (2022) 221\u2013234."},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","unstructured":"Sara Mahdavi-Hezavehi Danny Weyns Paris Avgeriou Radu Calinescu Raffaela Mirandola and Diego Perez-Palacin. 2020. Uncertainty in Self-adaptive Systems: A Research Community Perspective. ACM Trans. Auton. Adapt. Syst. 15 4 (2020) 10:1\u201310:36. 10.1145\/3487921","DOI":"10.1145\/3487921"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","unstructured":"S. Nayeri Z. Sazvar and J. Heydari. 2022. A fuzzy robust planning model in the disaster management response phase under precedence constraints. Operational Research: An International Journal 22 (2022) 3571\u20133605. 10.1007\/s12351-022-00694-1","DOI":"10.1007\/s12351-022-00694-1"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","unstructured":"Mar\u00eda\u00a0Jos\u00e9 Pardo and David de la Fuente. 2010. Fuzzy Markovian decision processes: Application to queueing systems. Computers & Mathematics with Applications 60 9 (2010) 2526\u20132535. 10.1016\/j.camwa.2010.08.004","DOI":"10.1016\/j.camwa.2010.08.004"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","unstructured":"Fatemeh Sabouhi Ali Bozorgi-Amiri and Parinaz Vaez. 2020. Stochastic optimization for transportation planning in disaster relief under disruption and uncertainty. Kybernetes 50 9 (12 2020) 2632\u20132650. arXiv:https:\/\/www.emerald.com\/k\/article-pdf\/50\/9\/2632\/1751571\/k-10-2020-0632.pdf10.1108\/K-10-2020-0632","DOI":"10.1108\/K-10-2020-0632"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","unstructured":"Ihab\u00a0Hanna Sawalha. 2020. A contemporary perspective on the disaster management cycle. Foresight 22 4 (05 2020) 469\u2013482. arXiv:https:\/\/www.emerald.com\/fs\/article-pdf\/22\/4\/469\/614236\/fs-11-2019-0097.pdf10.1108\/FS-11-2019-0097","DOI":"10.1108\/FS-11-2019-0097"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","unstructured":"Lipika Shaw Soumen\u00a0Kumar Das and Sankar\u00a0Kumar Roy. 2022. Location-allocation problem for resource distribution under uncertainty in disaster relief operations. Socio-Economic Planning Sciences 82 (2022) 101232. 10.1016\/j.seps.2022.101232","DOI":"10.1016\/j.seps.2022.101232"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","unstructured":"H. Tanaka and K. Asai. 1984. Fuzzy linear programming problems with fuzzy numbers. Fuzzy Sets and Systems 13 1 (1984) 1\u201310. 10.1016\/0165-0114(84)90022-8","DOI":"10.1016\/0165-0114(84)90022-8"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","unstructured":"Danny Weyns Radu Calinescu Raffaela Mirandola Kenji Tei and et al.2023. Towards a Research Agenda for Understanding and Managing Uncertainty in Self-Adaptive Systems. ACM SIGSOFT Softw. Eng. Notes 48 4 (2023) 20\u201336. 10.1145\/3617946.3617951","DOI":"10.1145\/3617946.3617951"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-70594-7_6"}],"event":{"name":"FormaliSE '26: IEEE\/ACM 14th International Conference on Formal Methods in Software Engineering","location":"Rio de Janeiro Brazil","acronym":"FormaliSE '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the IEEE\/ACM 14th International Conference on Formal Methods in Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3793656.3793691","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T15:21:03Z","timestamp":1783696863000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3793656.3793691"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":30,"alternative-id":["10.1145\/3793656.3793691","10.1145\/3793656"],"URL":"https:\/\/doi.org\/10.1145\/3793656.3793691","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}