Login / Signup
On Algorithmic Decision Procedures in Emergency Response Systems in Smart and Connected Communities.
Geoffrey Pettet
Ayan Mukhopadhyay
Mykel J. Kochenderfer
Yevgeniy Vorobeychik
Abhishek Dubey
Published in:
CoRR (2020)
Keyphrases
</>
emergency response
decision procedures
emergency services
information sharing
public safety
automated reasoning
emergency medical services
modal logic
theorem proving
database systems
distributed systems
decision support