Probabilistic Verification for Obviously Strategyproof Mechanisms.
Diodato FerraioliCarmine VentrePublished in: CoRR (2018)
Keyphrases
- generative model
- data driven
- probabilistic model
- bayesian networks
- model checking
- uncertain data
- databases
- machine learning
- multiscale
- relational databases
- probabilistic approaches
- asynchronous circuits
- probabilistic relational
- concurrent systems
- mechanisms underlying
- probabilistic interpretation
- belief networks
- conditional probabilities
- neural network