Murano, Aniello

20 publications

IJCAI 2025 First-Order Coalition Logic Davide Catta, Rustam Galimullin, Aniello Murano

IJCAI 2025 Strategies, Credences, and Shannon Entropy: Reasoning About Strategic Uncertainty in Stochastic Environments Wojciech Jamroga, Michal Tomasz Godziszewski, Aniello Murano

AAAI 2024 Natural Strategic Ability in Stochastic Multi-Agent Systems Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano

IJCAI 2023 Discounting in Strategy Logic Munyque Mittelmann, Aniello Murano, Laurent Perrussel

AAAI 2023 Formal Verification of Bayesian Mechanisms Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel

IJCAI 2023 Scalable Verification of Strategy Logic Through Three-Valued Abstraction Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano

IJCAI 2022 Automated Synthesis of Mechanisms Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel

IJCAI 2021 Reasoning About Agents That May Know Other Agents' Strategies Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin

IJCAI 2020 Assume-Guarantee Synthesis for Prompt Linear Temporal Logic Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Moshe Y. Vardi

IJCAI 2020 Synthesizing Strategies Under Expected and Exceptional Environment Behaviors Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin

IJCAI 2019 Probabilistic Strategy Logic Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin

IJCAI 2019 Reasoning About Quality and Fuzziness of Strategic Behaviours Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli

IJCAI 2019 Strategy Logic with Simple Goals: Tractable Reasoning About Strategies Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano

IJCAI 2019 The Complexity of Model Checking Knowledge and Time Laura Bozzelli, Bastien Maubert, Aniello Murano

IJCAI 2018 Alternating-Time Temporal Logic on Finite Traces Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin

IJCAI 2017 Nash Equilibria in Concurrent Games with Lexicographic Preferences Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge

IJCAI 2017 Verification of Broadcasting Multi-Agent Systems Against an Epistemic Strategy Logic Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin

IJCAI 2016 Imperfect-Information Games and Generalized Planning Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio

IJCAI 2015 Pushdown Multi-Agent System Verification Aniello Murano, Giuseppe Perelli

AAAI 2015 Verifying and Synthesising Multi-Agent Systems Against One-Goal Strategy Logic Specifications Petr Cermák, Alessio Lomuscio, Aniello Murano