Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking.

Naoki Iwayama Naoki Kobayashi Ryota Suzuki Takeshi Tsukada

Published in: SAS (2020)

Keyphrases

high level
special case
first order logic
neural network
verification method
cross media retrieval
data sets
artificial intelligence
computer vision
knowledge base
database systems
multiscale
query processing