Probabilistic modelling and verification using RoboChart and PRISM.

Kangfeng Ye Ana Cavalcanti Simon Foster Alvaro Miyazawa Jim Woodcock

Published in: Softw. Syst. Model. (2022)

Keyphrases

bayesian networks
probabilistic model
generative model
signature verification
information theoretic
uncertain data
generation algorithm
model checking
probabilistic interpretation
real time
probabilistic logic
formal methods
context sensitive
database systems
decision making
neural network
databases