Clusters of Faulty States for Debugging Behavioural Models.

Irman Faqrizal Gwen Salaün

Published in: APSEC (2020)

Keyphrases

clustering algorithm
statistical models
mathematical models
computational models
accurate models
hidden markov models
probabilistic model
input data
model selection
parameter estimation
experimental data
dynamic systems
model based diagnosis
finite state machines