A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation.

Mi Ding Kaipeng Lin Wang Lin Zuohua Ding

Published in: ISSRE (2022)

Keyphrases

lightweight
artificial neural networks
functional programs
framework enables
conceptual framework
theoretical framework
bayesian networks
machine learning
search algorithm
expert systems
learning environment
software engineering
particle filter
information retrieval
model checking
real world
neural network