A Toolbox For Property Checking From Simulation Using Incremental SAT (Extended Abstract).

Published in: CoRR (2018)

Keyphrases

extended abstract
incremental learning
numerical simulations
simulation model
simulation environment
incremental clustering
data driven
phase transition
simulation models