Paper-Conference | M. Mittelmannhttps://munyque.github.io/publication_types/paper-conference/Paper-ConferenceHugo Blox Builder (https://hugoblox.com)en-usWed, 01 Oct 2025 00:00:00 +0000https://munyque.github.io/media/icon_hu_60c41b8df827aeb1.pngPaper-Conferencehttps://munyque.github.io/publication_types/paper-conference/Repairing General Game Descriptionshttps://munyque.github.io/publication/kr-2025-38/Wed, 01 Oct 2025 00:00:00 +0000https://munyque.github.io/publication/kr-2025-38/Changing the Rules of the Game: Reasoning About Dynamic Phenomena in Multi-Agent Systemshttps://munyque.github.io/publication/galimullin-gmm-25/Wed, 01 Jan 2025 00:00:00 +0000https://munyque.github.io/publication/galimullin-gmm-25/Rational Capability in Concurrent Gameshttps://munyque.github.io/publication/li-lm-25/Wed, 01 Jan 2025 00:00:00 +0000https://munyque.github.io/publication/li-lm-25/Robust Strategies for Stochastic Multi-Agent Systemshttps://munyque.github.io/publication/berthon-kmm-25/Wed, 01 Jan 2025 00:00:00 +0000https://munyque.github.io/publication/berthon-kmm-25/Incentive Design for Rational Agentshttps://munyque.github.io/publication/hyland-mmpw-24/Mon, 01 Jan 2024 00:00:00 +0000https://munyque.github.io/publication/hyland-mmpw-24/Natural Strategic Ability in Stochastic Multi-Agent Systemshttps://munyque.github.io/publication/berthon-kmm-24/Mon, 01 Jan 2024 00:00:00 +0000https://munyque.github.io/publication/berthon-kmm-24/Playing Quantitative Games Against an Authority: On the Module Checking Problemhttps://munyque.github.io/publication/jamroga-mmp-24/Mon, 01 Jan 2024 00:00:00 +0000https://munyque.github.io/publication/jamroga-mmp-24/Verification of General Games with Imperfect Information Using Strategy Logichttps://munyque.github.io/publication/he-mmst-24/Mon, 01 Jan 2024 00:00:00 +0000https://munyque.github.io/publication/he-mmst-24/Verification of Stochastic Multi-Agent Systems with Forgetful Strategieshttps://munyque.github.io/publication/belardinelli-jmm-24/Mon, 01 Jan 2024 00:00:00 +0000https://munyque.github.io/publication/belardinelli-jmm-24/Discounting in Strategy Logichttps://munyque.github.io/publication/mittelmann-mp-23/Sun, 01 Jan 2023 00:00:00 +0000https://munyque.github.io/publication/mittelmann-mp-23/Formal Verification of Bayesian Mechanismshttps://munyque.github.io/publication/mittelmann-mmp-23/Sun, 01 Jan 2023 00:00:00 +0000https://munyque.github.io/publication/mittelmann-mmp-23/Multi-Agent Parking Problem with Sequential Allocationhttps://munyque.github.io/publication/murano-sm-23/Sun, 01 Jan 2023 00:00:00 +0000https://munyque.github.io/publication/murano-sm-23/Parking Problem with Multiple Gateshttps://munyque.github.io/publication/noviello-mms-23/Sun, 01 Jan 2023 00:00:00 +0000https://munyque.github.io/publication/noviello-mms-23/Representing and Reasoning about Auctionshttps://munyque.github.io/publication/mittelmann-pb-23/Sun, 01 Jan 2023 00:00:00 +0000https://munyque.github.io/publication/mittelmann-pb-23/Strategic Abilities of Forgetful Agents in Stochastic Environmentshttps://munyque.github.io/publication/belardinelli-jmm-23/Sun, 01 Jan 2023 00:00:00 +0000https://munyque.github.io/publication/belardinelli-jmm-23/Formally Reasoning about Strategies in Mechanismshttps://munyque.github.io/publication/mittelmann-22/Sat, 01 Jan 2022 00:00:00 +0000https://munyque.github.io/publication/mittelmann-22/Logics for Reasoning about Auctions (Short Paper)https://munyque.github.io/publication/mittelmann-22-a/Sat, 01 Jan 2022 00:00:00 +0000https://munyque.github.io/publication/mittelmann-22-a/Reasoning about Human-Friendly Strategies in Repeated Keyword Auctionshttps://munyque.github.io/publication/belardinelli-jmm-22/Sat, 01 Jan 2022 00:00:00 +0000https://munyque.github.io/publication/belardinelli-jmm-22/Synthesis of Mechanisms with Strategy Logichttps://munyque.github.io/publication/mittelmann-mmp-22/Sat, 01 Jan 2022 00:00:00 +0000https://munyque.github.io/publication/mittelmann-mmp-22/A General Framework for the Logical Representation of Combinatorial Exchange Protocolshttps://munyque.github.io/publication/mittelmann-bp-21/Fri, 01 Jan 2021 00:00:00 +0000https://munyque.github.io/publication/mittelmann-bp-21/Epistemic Reasoning About Rationality and Bids in Auctionshttps://munyque.github.io/publication/mittelmann-hp-21/Fri, 01 Jan 2021 00:00:00 +0000https://munyque.github.io/publication/mittelmann-hp-21/Strategic Reasoning in Automated Mechanism Designhttps://munyque.github.io/publication/maubert-mmp-21/Fri, 01 Jan 2021 00:00:00 +0000https://munyque.github.io/publication/maubert-mmp-21/Auction Description Language (ADL): General Framework for Representing Auction-Based Marketshttps://munyque.github.io/publication/mittelmann-p-20/Wed, 01 Jan 2020 00:00:00 +0000https://munyque.github.io/publication/mittelmann-p-20/A Fuzzy-Dynamic Bayesian Network Approach for Inference Filteringhttps://munyque.github.io/publication/d-mittelmann-mw-19/Tue, 01 Jan 2019 00:00:00 +0000https://munyque.github.io/publication/d-mittelmann-mw-19/