Integration of Multiple Formal Matrix Models in Coq.

ZhengPu Shi Gang Chen

Published in: SETTA (2022)

Keyphrases

formal methods
multiple models
probabilistic model
experimental data
statistical models
database
real time
machine learning
decision trees
pairwise
prior knowledge
software engineering
mathematical models
integrating multiple