Formalizing Model Inference of MicroPython.

Carlos Mão de Ferro Tiago Cogumbreiro Francisco Martins

Published in: DSN-W (2023)

Keyphrases

probabilistic model
high level
sensitivity analysis
search engine
probability distribution
management system
process model
formal model
machine learning
bayesian networks
multiscale
theoretical analysis
conceptual model
bayesian framework
decision theoretic