Login / Signup
Partial Predicate Abstraction and Counter-Example Guided Refinement.
Tuba Yavuz
Published in:
CoRR (2017)
Keyphrases
</>
high level
artificial neural networks
first order logic
refinement process
image processing
information technology
state space
high level abstractions