Optimisation of Disaster Resource Distribution With Risk Uncertainty Using Fuzzy Theory
| aut.relation.conference | FormaliSE '26: IEEE/ACM 14th International Conference on Formal Methods in Software Engineering | |
| aut.relation.endpage | 56 | |
| aut.relation.startpage | 46 | |
| dc.contributor.author | Perez-Palacin, Diego | |
| dc.contributor.author | Johnson, Kenneth | |
| dc.contributor.author | Grassi, Vincenzo | |
| dc.contributor.author | Mirandola, Raffaela | |
| dc.date.accessioned | 2026-07-28T22:06:12Z | |
| dc.date.issued | 2026-07-10 | |
| dc.description.abstract | Disasters are unexpected events that can cause widespread disruption of an urban region. Disaster managers are tasked with distributing lifesaving resources to meet evolving demand in the immediate aftermath of a disaster. However, decision-making during the first response is often characterised by a lack of information on current road conditions, and thus, the travel risk posed to teams remains uncertain. This paper presents a decision-making framework underpinned by Markov decision processes to verify provably correct team resource distribution strategies satisfying temporal logic constraints under travel risk vagueness. We implement the framework to express vagueness using fuzzy logic and demonstrate its effectiveness across a range of disaster resourcing scenarios. | |
| dc.identifier.citation | FormaliSE '26: Proceedings of the IEEE/ACM 14th International Conference on Formal Methods in Software Engineering. Pages 46 - 56. Rio de Janeiro Brazil April 12 - 13, 2026. ISBN: 979-8-4007-2478-7 | |
| dc.identifier.doi | 10.1145/3793656.3793691 | |
| dc.identifier.isbn | 9798400724787 | |
| dc.identifier.uri | http://hdl.handle.net/10292/21651 | |
| dc.publisher | ACM | |
| dc.relation.uri | https://dl.acm.org/doi/10.1145/3793656.3793691 | |
| dc.rights | Creative Commons Attribution CC BY 4.0 | |
| dc.rights.accessrights | OpenAccess | |
| dc.rights.uri | https://creativecommons.org/licenses/by/4.0/ | |
| dc.subject | 46 Information and Computing Sciences | |
| dc.subject | 4602 Artificial Intelligence | |
| dc.subject | 35 Commerce, Management, Tourism and Services | |
| dc.subject | 11 Sustainable Cities and Communities | |
| dc.title | Optimisation of Disaster Resource Distribution With Risk Uncertainty Using Fuzzy Theory | |
| dc.type | Conference Contribution | |
| pubs.elements-id | 769926 |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Optimisation of disaster resource distribution with risk uncertainty using fuzzy theory.pdf
- Size:
- 3.23 MB
- Format:
- Adobe Portable Document Format
- Description:
- Conference paper
License bundle
1 - 1 of 1
