Adaptive Model Checking

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

zbMATH Keywords

model checkingblack box testinglearning regular languages

Mathematics Subject Classification ID

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