Munyque Mittelmann
  • About
  • Publications
  • Experience
  • Recent & Upcoming Talks
    • Example Talk
  • Publications
    • Repairing General Game Descriptions
    • Changing the Rules of the Game: Reasoning About Dynamic Phenomena in Multi-Agent Systems
    • Formal verification and synthesis of mechanisms for social choice
    • Rational Capability in Concurrent Games
    • Robust Strategies for Stochastic Multi-Agent Systems
    • Incentive Design for Rational Agents
    • Natural Strategic Ability in Stochastic Multi-Agent Systems
    • Playing Quantitative Games Against an Authority: On the Module Checking Problem
    • Verification of General Games with Imperfect Information Using Strategy Logic
    • Verification of Stochastic Multi-Agent Systems with Forgetful Strategies
    • Discounting in Strategy Logic
    • Formal Verification of Bayesian Mechanisms
    • Multi-Agent Parking Problem with Sequential Allocation
    • Parking Problem with Multiple Gates
    • Representing and Reasoning about Auctions
    • Strategic Abilities of Forgetful Agents in Stochastic Environments
    • Formally Reasoning about Strategies in Mechanisms
    • Logics for Reasoning about Auctions (Short Paper)
    • Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
    • Representing and reasoning about auctions
    • Synthesis of Mechanisms with Strategy Logic
    • A General Framework for the Logical Representation of Combinatorial Exchange Protocols
    • Epistemic Reasoning About Rationality and Bids in Auctions
    • Strategic Reasoning in Automated Mechanism Design
    • Auction Description Language (ADL): General Framework for Representing Auction-Based Markets
    • A Fuzzy-Dynamic Bayesian Network Approach for Inference Filtering
    • Data Fusion through Fuzzy-Bayesian Networks for Belief Generation in Cognitive Agents
  • Projects
  • Blog
    • 🎉 Easily create your own simple yet highly customizable blog
    • 🧠 Sharpen your thinking with a second brain
    • 📈 Communicate your results effectively with the best data visualizations
    • 👩🏼‍🏫 Teach academic courses
    • ✅ Manage your projects
  • Projects
    • Pandas
    • PyTorch
    • scikit-learn
  • Experience
  • Teaching
    • Learn JavaScript
    • Learn Python

Formal verification and synthesis of mechanisms for social choice

Jan 1, 2025·
Munyque Mittelmann
,
Bastien Maubert
,
Aniello Murano
,
Laurent Perrussel
· 0 min read
Type
Journal article
Publication
Artif. Intell.
Last updated on Jan 1, 2025
← Changing the Rules of the Game: Reasoning About Dynamic Phenomena in Multi-Agent Systems Jan 1, 2025
Rational Capability in Concurrent Games Jan 1, 2025 →

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.