Probabilistic Verification in Mechanism Design
We introduce a model of probabilistic verification in mechanism design. The principal elicits a message from the agent and then selects a test to give the agent. The agent's true type determines the probability with which he can pass each test. We characterize whether each type has an associated test that best screens out all other types. If this condition holds, then the testing technology can be represented in a tractable reduced form. We use this reduced form to solve for profit-maximizing mechanisms with verification. As the verification technology varies, the solution continuously interpolates between the no-verification solution and full surplus extraction.
Code (0)
등록된 구현이 없습니다.
Tasks
FormSimilar Papers 제목 키워드 기반
A stochastically verifiable autonomous control architecture with reasoning
A new agent architecture called Limited Instruction Set Agent (LISA) is introduced for autonomous control. The new architecture is based on previous implementations of AgentSpeak and it is structurally simpler than its p…
Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
We propose distributed iterative algorithms for safe control design and safety verification for networked multi-agent systems. These algorithms rely on distributing a control barrier function (CBF) related quadratic prog…
Collision AvoidanceContinuous ControlDesigning Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation
Achieving safe autonomous navigation systems is critical for deploying robots in dynamic and uncertain real-world environments. In this paper, we propose a hierarchical control framework leveraging neural network verific…
Autonomous NavigationSafe Reinforcement LearningProbabilistic Embeddings Revisited
In recent years, deep metric learning and its probabilistic extensions claimed state-of-the-art results in the face verification task. Despite improvements in face verification, probabilistic methods received little atte…
Face VerificationImage RetrievalMetric LearningPrediction+1Towards Probabilistic Verification of Machine Unlearning
The right to be forgotten, also known as the right to erasure, is the right of individuals to have their data erased from an entity storing it. The status of this long held notion was legally solidified recently by the G…
backdoor defenseMachine UnlearningTwo-sample testing