Kenneth Johnson, Meena Kumari. Probabilistic Model Checking of Disaster Resource Distribution Strategies. In 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025. pages 1-5, IEEE, 2025. [doi]
Abstract is missing.