MITTELMANN, MUNYQUE
MITTELMANN, MUNYQUE
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Synthesis of Mechanisms with Strategy Logic (Short Paper)
2022 Mittelmann, M.; Maubert, B.; Murano, A.; Perrussel, L.
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
2022 Belardinelli, Francesco; Jamroga, Wojtek; Malvone, Vadim; Mittelmann, Munyque; Murano, Aniello; Perrussel, Laurent
Strategic Reasoning in Automated Mechanism Design
2021 Maubert, B.; Mittelmann, M.; Murano, A.; Perrussel, L.
Automated Synthesis of Mechanisms
2022 Mittelmann, M.; Maubert, B.; Murano, A.; Perrussel, L.
Strategic Abilities of Forgetful Agents in Stochastic Environments
2023 Belardinelli, Francesco; Jamroga, Wojciech; Mittelmann, Munyque; Murano, Aniello
Verification of Bayesian Mechanisms with Strategy Logic
2023 Mittelmann, Munyque; Maubert, Bastien; Murano, Aniello; Perrussel, Laurent
Natural Strategic Ability in Stochastic Multi-Agent Systems
2024 Berthon, Raphaël; Katoen, Joost-Pieter; Mittelmann, Munyque; Murano, Aniello
Verification of Stochastic Multi-Agent Systems with Forgetful Strategies
2024 Belardinelli, Francesco; Jamroga, Wojtek; Mittelmann, Munyque; Murano, Aniello
Playing Quantitative Games Against an Authority: On the Module Checking Problem
2024 Jamroga, Wojciech; Mittelmann, Munyque; Murano, Aniello; Perelli, Giuseppe
Parking Problem with Multiple Gates
2023 Noviello, F.; Mittelmann, M.; Murano, A.; Stranieri, S.
Discounting in Strategy Logic
2023 Mittelmann, M.; Murano, A.; Perrussel, L.
Formal Verification of Bayesian Mechanisms
2023 Mittelmann, M.; Maubert, B.; Murano, A.; Perrussel, L.
Verification of General Games with Imperfect Information Using Strategy Logic
2024 He, Yifan; Mittelmann, Munyque; Murano, Aniello; Saffidine, Abdallah; Thielscher, Michael
Incentive Design for Rational Agents
2024 Hyland, David; Mittelmann, Munyque; Murano, Aniello; Perelli, Giuseppe; Wooldridge, Michael
Formal verification and synthesis of mechanisms for social choice
2025 Mittelmann, Munyque; Maubert, Bastien; Murano, Aniello; Perrussel, Laurent
Robust Strategies for Stochastic Multi-Agent Systems
2025 Berthon, Raphaël; Katoen, Joost-Pieter; Mittelmann, Munyque; Murano, Aniello
Rational Capability in Concurrent Games
2025 Li, Yinfeng; Lorini, Emiliano; Mittelmann, Munyque
Changing the Rules of the Game: Reasoning About Dynamic Phenomena in Multi-Agent Systems
2025 Galimullin, Rustam; Gladyshev, Maksim; Mittelmann, Munyque; Motamed, Nima
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Synthesis of Mechanisms with Strategy Logic (Short Paper) | 4.1 Articoli in Atti di convegno | 2022 | Mittelmann, M.; Maubert, B.; Murano, A.; Perrussel, L. | |
| Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions | 4.1 Articoli in Atti di convegno | 2022 | Belardinelli, Francesco; Jamroga, Wojtek; Malvone, Vadim; Mittelmann, Munyque; Murano, Aniello; Perrussel, Laurent | |
| Strategic Reasoning in Automated Mechanism Design | 4.1 Articoli in Atti di convegno | 2021 | Maubert, B.; Mittelmann, M.; Murano, A.; Perrussel, L. | |
| Automated Synthesis of Mechanisms | 4.1 Articoli in Atti di convegno | 2022 | Mittelmann, M.; Maubert, B.; Murano, A.; Perrussel, L. | |
| Strategic Abilities of Forgetful Agents in Stochastic Environments | 4.1 Articoli in Atti di convegno | 2023 | Belardinelli, Francesco; Jamroga, Wojciech; Mittelmann, Munyque; Murano, Aniello | |
| Verification of Bayesian Mechanisms with Strategy Logic | 4.2 Abstract in Atti di convegno | 2023 | Mittelmann, Munyque; Maubert, Bastien; Murano, Aniello; Perrussel, Laurent | |
| Natural Strategic Ability in Stochastic Multi-Agent Systems | 4.1 Articoli in Atti di convegno | 2024 | Berthon, Raphaël; Katoen, Joost-Pieter; Mittelmann, Munyque; Murano, Aniello | |
| Verification of Stochastic Multi-Agent Systems with Forgetful Strategies | 4.1 Articoli in Atti di convegno | 2024 | Belardinelli, Francesco; Jamroga, Wojtek; Mittelmann, Munyque; Murano, Aniello | |
| Playing Quantitative Games Against an Authority: On the Module Checking Problem | 4.1 Articoli in Atti di convegno | 2024 | Jamroga, Wojciech; Mittelmann, Munyque; Murano, Aniello; Perelli, Giuseppe | |
| Parking Problem with Multiple Gates | 2.1 Contributo in volume (Capitolo o Saggio) | 2023 | Noviello, F.; Mittelmann, M.; Murano, A.; Stranieri, S. | |
| Discounting in Strategy Logic | 2.1 Contributo in volume (Capitolo o Saggio) | 2023 | Mittelmann, M.; Murano, A.; Perrussel, L. | |
| Formal Verification of Bayesian Mechanisms | 2.1 Contributo in volume (Capitolo o Saggio) | 2023 | Mittelmann, M.; Maubert, B.; Murano, A.; Perrussel, L. | |
| Verification of General Games with Imperfect Information Using Strategy Logic | 4.1 Articoli in Atti di convegno | 2024 | He, Yifan; Mittelmann, Munyque; Murano, Aniello; Saffidine, Abdallah; Thielscher, Michael | |
| Incentive Design for Rational Agents | 4.1 Articoli in Atti di convegno | 2024 | Hyland, David; Mittelmann, Munyque; Murano, Aniello; Perelli, Giuseppe; Wooldridge, Michael | |
| Formal verification and synthesis of mechanisms for social choice | 1.1 Articolo in rivista | 2025 | Mittelmann, Munyque; Maubert, Bastien; Murano, Aniello; Perrussel, Laurent | |
| Robust Strategies for Stochastic Multi-Agent Systems | 4.2 Abstract in Atti di convegno | 2025 | Berthon, Raphaël; Katoen, Joost-Pieter; Mittelmann, Munyque; Murano, Aniello | |
| Rational Capability in Concurrent Games | 4.1 Articoli in Atti di convegno | 2025 | Li, Yinfeng; Lorini, Emiliano; Mittelmann, Munyque | |
| Changing the Rules of the Game: Reasoning About Dynamic Phenomena in Multi-Agent Systems | 4.1 Articoli in Atti di convegno | 2025 | Galimullin, Rustam; Gladyshev, Maksim; Mittelmann, Munyque; Motamed, Nima |