Munyque Mittelmann

47 papers A* 10A 9B 2Misc 1Journal 16Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Formal Verification of Diffusion Auctions. AAAI Rustam Galimullin, Munyque Mittelmann, Laurent Perrussel
2026	B	`conf`	Inquisitive Team Semantics of LTL. FoSSaCS Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann, Aniello Murano
2026	J	`jnl`	On Angels and Demons: Strategic (De)Construction of Dynamic Models. CoRR Davide Catta, Rustam Galimullin, Munyque Mittelmann
2026	J	`jnl`	Verification of Robust Multi-Agent Systems. CoRR Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
2025	A	`conf`	Changing the Rules of the Game: Reasoning About Dynamic Phenomena in Multi-Agent Systems. AAMAS Rustam Galimullin, Maksim Gladyshev, Munyque Mittelmann, Nima Motamed
2025	J	`jnl`	Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems. CoRR Rustam Galimullin, Maksim Gladyshev, Munyque Mittelmann, Nima Motamed
2025	J	`jnl`	Formal Verification of Diffusion Auctions. CoRR Rustam Galimullin, Munyque Mittelmann, Laurent Perrussel
2025	J	`jnl`	Formal verification and synthesis of mechanisms for social choice. Artif. Intell. Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
2025	J	`jnl`	Inquisitive Team Semantics of LTL. CoRR Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann, Aniello Murano
2025	A	`conf`	Rational Capability in Concurrent Games. AAMAS Yinfeng Li, Emiliano Lorini, Munyque Mittelmann
2025	J	`jnl`	Rational Capability in Concurrent Games. CoRR Yinfeng Li, Emiliano Lorini, Munyque Mittelmann
2025	J	`jnl`	Repairing General Game Descriptions (extended version). CoRR Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher
2025	A*	`conf`	Repairing General Game Descriptions. KR Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher
2025	A	`conf`	Robust Strategies for Stochastic Multi-Agent Systems. AAMAS Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
2024	A*	`conf`	Incentive Design for Rational Agents. KR David Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, Michael J. Wooldridge
2024	A*	`conf`	Natural Strategic Ability in Stochastic Multi-Agent Systems. AAAI Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
2024	J	`jnl`	Natural Strategic Ability in Stochastic Multi-Agent Systems. CoRR Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
2024	A	`conf`	Playing Quantitative Games Against an Authority: On the Module Checking Problem. AAMAS Wojciech Jamroga, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli
2024	—	`ed.`	Proceedings of the International Workshop on Artificial Intelligence for Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (AI4CC-IPS-RCRA-SPIRIT 2024) co-located with 23rd International Conference of the Italian Association for Artificial Intelligence AIxIA 2024, November 25-28th, 2024, Bolzano, Italy. AI4CC-IPS-RCRA-SPIRIT@AI*IA Diego Aineto, Riccardo De Benedictis, Marco Maratea, Munyque Mittelmann, Gianpiero Monaco, Enrico Scala, Luciano Serafini, Ivan Serina, Francesco Spegni, Elisa Tosello, Alessandro Umbrico, Mauro Vallati
2024	A*	`conf`	Verification of General Games with Imperfect Information Using Strategy Logic. KR Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher
2024	A	`conf`	Verification of Stochastic Multi-Agent Systems with Forgetful Strategies. AAMAS Francesco Belardinelli, Wojtek Jamroga, Munyque Mittelmann, Aniello Murano
2023	A*	`conf`	Discounting in Strategy Logic. IJCAI Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2023	J	`jnl`	Discounting in Strategy Logic. CoRR Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2023	A*	`conf`	Formal Verification of Bayesian Mechanisms. AAAI Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
2023	—	`conf`	Multi-Agent Parking Problem with Sequential Allocation. ICAART (3) Aniello Murano, Silvia Stranieri, Munyque Mittelmann
2023	Misc	`conf`	Parking Problem with Multiple Gates. PAAMS Francesco Noviello, Munyque Mittelmann, Aniello Murano, Silvia Stranieri
2023	A	`conf`	Representing and Reasoning about Auctions. AAMAS Munyque Mittelmann, Laurent Perrussel, Sylvain Bouveret
2023	A*	`conf`	Strategic Abilities of Forgetful Agents in Stochastic Environments. KR Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano
2023	J	`jnl`	Strategic Abilities of Forgetful Agents in Stochastic Environments. CoRR Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano
2022	A*	`conf`	Automated Synthesis of Mechanisms. IJCAI Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
2022	—	`conf`	Formally Reasoning about Strategies in Mechanisms. OVERLAY@AI*IA Munyque Mittelmann
2022	—	`conf`	Logics for Reasoning about Auctions (Short Paper). IPS/RiCeRcA/SPIRIT@AI*IA Munyque Mittelmann
2022	—	`—`	Logics for Representation and Design of Auctions. (Logiques pour la représentation et la conception d'enchères). Munyque Mittelmann
2022	A	`conf`	Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. AAMAS Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2022	J	`jnl`	Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. CoRR Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2022	J	`jnl`	Representing and reasoning about auctions. Auton. Agents Multi Agent Syst. Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel
2022	—	`conf`	Synthesis of Mechanisms with Strategy Logic. ICTCS Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
2021	A	`conf`	A General Framework for the Logical Representation of Combinatorial Exchange Protocols. AAMAS Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel
2021	J	`jnl`	A General Framework for the Logical Representation of Combinatorial Exchange Protocols. CoRR Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel
2021	B	`conf`	Epistemic Reasoning About Rationality and Bids in Auctions. JELIA Munyque Mittelmann, Andreas Herzig, Laurent Perrussel
2021	A*	`conf`	Strategic Reasoning in Automated Mechanism Design. KR Bastien Maubert, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2020	—	`conf`	An Epistemic Logic for Reasoning about Strategies in General Auctions. ICLP Workshops Munyque Mittelmann, Laurent Perrussel
2020	A	`conf`	Auction Description Language (ADL): General Framework for Representing Auction-Based Markets. ECAI Munyque Mittelmann, Laurent Perrussel
2020	—	`conf`	Game Description Logic with Integers: A GDL Numerical Extension. FoIKS Munyque Mittelmann, Laurent Perrussel
2019	—	`conf`	A Fuzzy-Dynamic Bayesian Network Approach for Inference Filtering. ICAISC (1) Munyque Mittelmann, Jerusa Marchi, Aldo von Wangenheim
2019	J	`jnl`	Data Fusion through Fuzzy-Bayesian Networks for Belief Generation in Cognitive Agents. RITA Munyque Mittelmann, Jerusa Marchi, Aldo von Wangenheim
2019	J	`jnl`	Game Description Logic with Integers: A GDL Numerical Extension. CoRR Munyque Mittelmann, Laurent Perrussel