A Aralex Aachen research explorer

April 12, 2026 conference-paper Open access

Optimisation of Disaster Resource Distribution with Risk Uncertainty Using Fuzzy Theory

IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE)

DOI: 10.1145/3793656.3793691 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 0 stored of 0

References 2

The probabilistic model checker Storm
2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

246

citations
A Practitioner’s Guide to MDP Model Checking Algorithms
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

35

citations

2 results