Adaptive Model Checking
From MaRDI portal
Publication:3424119
DOI10.1093/jigpal/jzl007zbMath1108.68073OpenAlexW2014096115MaRDI QIDQ3424119
Alex Groce, Mihalis Yannakakis, Doron A. Peled
Publication date: 15 February 2007
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/4295a6fa99d5ba48b14bc6a3d9db732a553715ad
Computational learning theory (68Q32) Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Evaluation and Comparison of Inferred Regular Grammars, Incremental Learning-Based Testing for Reactive Systems, Learning algorithms