Probabilistic Verification for Obviously Strategyproof Mechanisms.
Diodato FerraioliCarmine VentrePublished in: AAMAS (2018)
Keyphrases
- probabilistic logic
- genetic algorithm
- bayesian networks
- face verification
- model checking
- generative model
- probabilistic model
- information systems
- data driven
- search algorithm
- verification method
- person identification
- belief networks
- building blocks
- hidden markov models
- databases
- multi agent
- similarity measure
- image sequences
- database systems
- decision making
- social networks
- machine learning
- data mining