Counterexamples for Timed Probabilistic Reachability.
Husain AljazzarHolger HermannsStefan LeuePublished in: FORMATS (2005)
Keyphrases
- petri net
- uncertain data
- bayesian networks
- probabilistic reasoning
- generative model
- probabilistic model
- real time
- probabilistic interpretation
- probabilistic logic
- state space
- markov chain
- expert systems
- database systems
- conditional probabilities
- posterior probability
- case study
- computer vision
- probability theory
- information retrieval
- probabilistic networks
- database