Login / Signup
Formalizing and verifying stochastic system architectures using Monterey Phoenix.
Songzheng Song
Jiexin Zhang
Yang Liu
Mikhail Auguston
Jun Sun
Jin Song Dong
Tieming Chen
Published in:
Softw. Syst. Model. (2016)
Keyphrases
</>
monte carlo
model checking
stochastic optimization
database
computer vision
stochastic process
stochastic nature
real time
machine learning
decision making
bayesian networks
lower bound
stochastic model
stochastic models