Login / Signup
On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4.
Andrew Reynolds
Morgan Deters
Viktor Kuncak
Clark W. Barrett
Cesare Tinelli
Published in:
CoRR (2015)
Keyphrases
</>
program synthesis
model checking
fuzzy measures
formal verification
real time
logic programs
texture synthesis
computer vision
information systems
e learning
reinforcement learning
information technology
mobile robot
probabilistic model