Probabilistic Verification for Obviously Strategyproof Mechanisms.
Diodato FerraioliCarmine VentrePublished in: IJCAI (2018)
Keyphrases
- probabilistic model
- probabilistic reasoning
- building blocks
- data driven
- asynchronous circuits
- uncertain data
- generative model
- bayesian networks
- access control
- optimal solution
- posterior probability
- computational models
- case study
- decision trees
- probabilistic logic
- probabilistic networks
- formal verification
- probabilistic interpretation
- e learning