Login / Signup
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