Stochastic process algebras: integrating qualitative and quantitative modelling.
Jane HillstonHolger HermannsUlrich HerzogVassilis MertsiotakisMichael RettelbachPublished in: FORTE (1994)
Keyphrases
- qualitative and quantitative
- stochastic process
- temporal reasoning
- stochastic processes
- stochastic model
- markov chain
- qualitative models
- quantitative and qualitative
- probability measures
- qualitative information
- brownian motion
- physical systems
- steady state
- dynamic programming
- autoregressive
- dynamic bayesian networks
- machine learning
- search space
- search algorithm
- learning algorithm