Deciding weak monitorability for runtime verification.

Zhe Chen Yifan Wu Ou Wei Bin Sheng

Published in: ICSE (Companion Volume) (2018)

Keyphrases

model checking
face verification
verification method
concurrent systems
real time
information systems
mobile robot
signature verification
person identification