Enhancing model checking in verification by AI techniques
scientific article; zbMATH DE number 1770905