A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement
From MaRDI portal
Publication:3522892
DOI10.1007/11901914_6zbMath1161.68722OpenAlexW1600074484MaRDI QIDQ3522892
Xiaoyu Song, Fei He, Ming Gu, Jia-Guang Sun
Publication date: 4 September 2008
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11901914_6
Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
This page was built for publication: A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement