Planning and Verification for Stochastic Processes with Asynchronous Events.
Håkan L. S. YounesPublished in: AAAI (2004)
Keyphrases
- stochastic processes
- stochastic process
- probability distribution
- random fields
- markov processes
- stochastic models
- asynchronous circuits
- dynamic bayesian networks
- random variables
- continuous time bayesian networks
- temporal patterns
- temporal data
- image sequences
- stochastic model
- model selection
- markov chain
- maximum likelihood
- distributed systems