A simplification of a real-time verification problem.

Suman Roy Janardan Misra Indranil Saha

Published in: Softw. Test. Verification Reliab. (2016)

Keyphrases

real time
multiresolution
control system
low cost
optimal solution
model checking
neural network
video sequences
expert systems
high resolution
high speed
face verification
formal analysis
high fidelity