26 citations · 58 across the 8 of their papers we have counts for
1 paper · 1 filter
Kenneth Johnson, Samaneh Madanian, Roopak Sinha
We propose a tool-supported framework to reason about requirements constraining resource distributions and devise strategies for routing essential services in a disaster-affected r…