Probabilistic Hyperproperties with Rewards.
Oyendrila DobeLukas WilkeErika ÁbrahámEzio BartocciBorzoo BonakdarpourPublished in: NFM (2022)
Keyphrases
- probabilistic model
- generative model
- probabilistic logic
- data driven
- database
- bayesian networks
- reinforcement learning
- probability theory
- markov decision processes
- context sensitive
- probabilistic approaches
- probabilistic interpretation
- uncertain data
- posterior probability
- computational complexity
- three dimensional
- search engine
- real time