Data-driven Abstractions for Verification of Deterministic Systems.

Rudi Coppola Andrea Peruffo Manuel Mazo Jr.

Published in: CoRR (2022)

Keyphrases

data driven
computer systems
learning systems
machine learning
expert systems
artificial neural networks
management system
distributed systems
black box
automated verification
data mining
high level
database systems
intelligent systems