TY  - RPRT
TI  - Abstraction Refinement Guided by a Learnt Probabilistic Model
AU  - Radu Grigore
AU  - Hongseok Yang
PY  - 2015
UR  - https://arxiv.org/abs/1511.01874
ID  - 1511.01874
ER  -