Predictability of finite state machines for smart fire emergency management

Gabriella Fiore, Alessandro Marucci, Elena De Santis. Predictability of finite state machines for smart fire emergency management. In Gabriele Di Stefano, Alfredo Navarra, editors, Proceedings of the GEOSAFE Workshop on Robust Solutions for Fire Fighting, RSFF 2018, L'Aquila, Italy, July 19-20, 2018. Volume 2146 of CEUR Workshop Proceedings, pages 92-98, CEUR-WS.org, 2018. [doi]

Abstract

Abstract is missing.