Hennessy-Milner Results for Probabilistic PDL.
Tao GuAlexandra SilvaFabio ZanasiPublished in: MFPS (2020)
Keyphrases
- probabilistic model
- bayesian networks
- image processing
- uncertain data
- posterior probability
- artificial intelligence
- image sequences
- data driven
- probabilistic approaches
- real time
- dynamic logic
- probability theory
- probabilistic reasoning
- belief networks
- context sensitive
- case based reasoning
- special case
- multi agent
- multiscale
- case study
- information systems
- learning algorithm