Login / Signup
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