A probabilistic framework for Automated Mechanism Design | IEEE Conference Publication | IEEE Xplore