Specification-Guided Automated Debugging of CPS Models.

Nikhil Kumar Singh Indranil Saha

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2020)

Keyphrases

genetic algorithm
probabilistic model
machine learning algorithms
complex systems
statistical models
mathematical models
experimental data
accurate models
database
data sets
artificial intelligence
high level
computational models