Publication

Automaton-based stochastic control for navigation of emergency rescuers in buildings