RoboCertProb: Property Specification for Probabilistic RoboChart Models.

Kangfeng Ye Jim Woodcock

Published in: CoRR (2024)

Keyphrases

probabilistic model
bayesian networks
case study
posterior probability
database
data mining
artificial neural networks
language model
model selection
parameter estimation
statistical models
prior probabilities