Sterile zone monitoring with human verification.

Ajmal Shahbaz Wahyono Kang-Hyun Jo

Published in: HSI (2017)

Keyphrases

real time
monitoring system
human interaction
model checking
human operators
information systems
formal verification
artificial intelligence
case study
face recognition
human subjects