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:
AAMAS (2020)
Keyphrases
</>
emergency response
decision procedures
public safety
modal logic
management system
emergency services
artificial intelligence
theorem proving
software engineering
knowledge sharing
temporal logic
satisfiability problem
automated reasoning
natural language
data model
information sharing