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

Repairing General Game Descriptions

Oct 1, 2025·
Yifan He
,
Munyque Mittelmann
,
Aniello Murano
,
Abdallah Saffidine
,
Michael Thielscher
· 0 min read
URL DOI
Type
Conference paper
Publication
Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning
Last updated on Oct 1, 2025
Changing the Rules of the Game: Reasoning About Dynamic Phenomena in Multi-Agent Systems Jan 1, 2025 →

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