Munyque Mittelmann
Open Menu
Close Menu
About
Publications
Experience
Paper-Conference
Representing and Reasoning about Auctions
Jan 1, 2023
Parking Problem with Multiple Gates
Jan 1, 2023
Multi-Agent Parking Problem with Sequential Allocation
Jan 1, 2023
Formal Verification of Bayesian Mechanisms
Jan 1, 2023
Discounting in Strategy Logic
Jan 1, 2023
Synthesis of Mechanisms with Strategy Logic
Jan 1, 2022
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
Jan 1, 2022
Logics for Reasoning about Auctions (Short Paper)
Jan 1, 2022
Formally Reasoning about Strategies in Mechanisms
Jan 1, 2022
Strategic Reasoning in Automated Mechanism Design
Jan 1, 2021
« Previous
Next »