Efficient Batch Verification for UP.

Omer Reingold Guy N. Rothblum Ron Rothblum

Published in: Electron. Colloquium Comput. Complex. (2018)

Keyphrases

case study
neural network
multimedia
model checking
real time
image segmentation
reinforcement learning
search algorithm
multiresolution
computationally efficient
cost effective
computationally expensive
asynchronous circuits