Optimal Rescue Sequences in Disastrous Incidents. - Rabeaeh Kiaghadi (EUMAS, 2023)

Rescuing Catastrophe Victims by Interactive Markov Chains with Clocks. - Martin Fränzle; Rabeaeh Kiaghadi; Paul Kröger (Principles of Verification (3), 2024)