A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement.

Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun

Browse the full ATVA paper archive.