Aniello Murano

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 146

Top Venues

CoRR

AAMAS

IJCAI

Publications

Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano
Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models. AAMAS (2024)
Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
Natural Strategic Ability in Stochastic Multi-Agent Systems. CoRR (2024)
Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
Natural Strategic Ability in Stochastic Multi-Agent Systems. AAAI (2024)
Francesco Belardinelli, Wojtek Jamroga, Munyque Mittelmann, Aniello Murano
Verification of Stochastic Multi-Agent Systems with Forgetful Strategies. AAMAS (2024)
Laura Bozzelli, Bastien Maubert, Aniello Murano
On the Complexity of Model Checking Knowledge and Time. ACM Trans. Comput. Log. 25 (1) (2024)
Wojciech Jamroga, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli
Playing Quantitative Games Against an Authority: On the Module Checking Problem. AAMAS (2024)
Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano
Strategic Abilities of Forgetful Agents in Stochastic Environments. CoRR (2023)
Bastien Maubert, Aniello Murano, Sasha Rubin
Logical aspects of multi-agent systems. Ann. Math. Artif. Intell. 91 (4) (2023)
Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano
Strategic Abilities of Forgetful Agents in Stochastic Environments. KR (2023)
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano
Scalable Verification of Strategy Logic through Three-Valued Abstraction. IJCAI (2023)
Munyque Mittelmann, Aniello Murano, Laurent Perrussel
Discounting in Strategy Logic. IJCAI (2023)
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
Formal Verification of Bayesian Mechanisms. AAAI (2023)
Angelo Ferrando, Vadim Malvone, Aniello Murano, Silvia Stranieri
HYASM: A Tool to Verify Hierarchical Systems. WETICE (2023)
Aniello Murano, Mimmo Parente, Silvia Stranieri
A Multi-Agent Game for Sentiment Analysis (short paper). IPS-RCRA-SPIRIT@AI*IA (2023)
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano
Scalable Verification of Strategy Logic through Three-valued Abstraction. CoRR (2023)
Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano
A Game Theoretic Approach to Attack Graphs. ICAART (1) (2023)
Munyque Mittelmann, Aniello Murano, Laurent Perrussel
Discounting in Strategy Logic. CoRR (2023)
Francesco Noviello, Munyque Mittelmann, Aniello Murano, Silvia Stranieri
Parking Problem with Multiple Gates. PAAMS (2023)
Davide Catta, Vadim Malvone, Aniello Murano
Reasoning about Intuitionistic Computation Tree Logic. AREA@ECAI (2023)
Aniello Murano, Silvia Stranieri, Munyque Mittelmann
Multi-Agent Parking Problem with Sequential Allocation. ICAART (3) (2023)
Aniello Murano, Daniel Neider, Martin Zimmermann
Robust Alternating-Time Temporal Logic. JELIA (2023)
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Reasoning about Quality and Fuzziness of Strategic Behaviors. ACM Trans. Comput. Log. 24 (3) (2023)
Aniello Murano, Daniel Neider, Martin Zimmermann
Robust Alternating-Time Temporal Logic. CoRR (2023)
Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
Verification of agent navigation in partially-known environments. Artif. Intell. 308 (2022)
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
Automated Synthesis of Mechanisms. IJCAI (2022)
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Public and Private Affairs in Strategic Reasoning. KR (2022)
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
Synthesis of Mechanisms with Strategy Logic. ICTCS (2022)
Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. CoRR (2022)
Laura Bozzelli, Aniello Murano, Adriano Peron
Context-free timed formalisms: Robust automata and linear temporal logics. Inf. Comput. 283 (2022)
Giuseppe Calise, Aniello Murano, Silvia Stranieri
The Parking Problem: A Game-Theoretic Solution. CoRR (2022)
Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. AAMAS (2022)
Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli
Timed Trace Alignment with Metric Temporal Logic over Finite Traces. KR (2021)
Antonio Di Stasio, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino
Improving parity games in practice. Ann. Math. Artif. Intell. 89 (5-6) (2021)
Luisa D'Amore, Aniello Murano, Loredana Sorrentino, Rossella Arcucci, Giuliano Laccetti
Toward a multilevel scalable parallel Zielonka's algorithm for solving parity games. Concurr. Comput. Pract. Exp. 33 (4) (2021)
Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin
Reasoning About Agents That May Know Other Agents' Strategies. IJCAI (2021)
Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
Equilibria for games with combined qualitative and quantitative objectives. Acta Informatica 58 (6) (2021)
Bastien Maubert, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
Strategic Reasoning in Automated Mechanism Design. KR (2021)
Wiebe van der Hoek, Bastien Maubert, Aniello Murano, Sasha Rubin
Preface. Inf. Comput. 276 (2021)
Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Synthesizing Best-effort Strategies under Multiple Environment Specifications. KR (2021)
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Strategy Logic with Imperfect Information. ACM Trans. Comput. Log. 22 (1) (2021)
Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
Alternating Tree Automata with Qualitative Semantics. ACM Trans. Comput. Log. 22 (1) (2021)
Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
Alternating Tree Automata with Qualitative Semantics. CoRR (2020)
Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino
Hierarchical cost-parity games. Theor. Comput. Sci. 847 (2020)
Laura Bozzelli, Aniello Murano, Adriano Peron
Module Checking of Pushdown Multi-agent Systems. KR (2020)
Aniello Murano, Mimmo Parente, Sasha Rubin, Loredana Sorrentino
Model-checking graded computation-tree logic with finite path semantics. Theor. Comput. Sci. 806 (2020)
Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri
Dynamic Epistemic Logic Games with Epistemic Temporal Goals. ECAI (2020)
Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Synthesizing strategies under expected and exceptional environment behaviors. IJCAI (2020)
Laura Bozzelli, Aniello Murano, Loredana Sorrentino
Alternating-time temporal logics with linear past. Theor. Comput. Sci. 813 (2020)
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Moshe Y. Vardi
Assume-Guarantee Synthesis for Prompt Linear Temporal Logic. IJCAI (2020)
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Strategy Logic with Imperfect Information. CoRR (2020)
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Verification of multi-agent systems with public actions against strategy logic. Artif. Intell. 285 (2020)
Giuseppe De Giacomo, Bastien Maubert, Aniello Murano
Nondeterministic Strategies and their Refinement in Strategy Logic. KR (2020)
Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri
Behavioral Clustering: A New Approach for Traffic Congestion Evaluation. AINA Workshops (2020)
Dario Della Monica, Aniello Murano, Luigi Sauro
Preface. Fundam. Informaticae 176 (3-4) (2020)
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Reasoning About Quality and Fuzziness of Strategic Behaviours. ECAI (2020)
Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
Equilibria for Games with Combined Qualitative and Quantitative Objectives. CoRR (2020)
Aniello Murano, Sasha Rubin, Martin Zimmermann
Optimal Strategies in Weighted Limit Games (full version). CoRR (2020)
Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri
Dynamic Epistemic Logic Games with Epistemic Temporal Goals. CoRR (2020)
Bastien Maubert, Aniello Murano, Olivier Serre
Reasoning about strategies on collapsible pushdown arenas with imperfect information. CoRR (2020)
Aniello Murano, Sasha Rubin, Martin Zimmermann
Optimal Strategies in Weighted Limit Games. GandALF (2020)
Aniello Murano, Patricia Bouyer, Pierluigi San Pietro, Andrea Orlandini
Preface. Inf. Comput. 272 (2020)
Laura Bozzelli, Aniello Murano, Adriano Peron
Module checking of pushdown multi-agent systems. CoRR (2020)
Aniello Murano, Sasha Rubin
Preface. Theor. Comput. Sci. 815 (2020)
Bastien Maubert, Aniello Murano, Pasquale Perillo, Sasha Rubin, Alessio Spasiano
Towards a Tool for LTL Synthesis with Bounded-Energy Constraints. ICTCS (2019)
Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri
A Smart Compact Traffic Network Vision Based on Wave Representation. AINA Workshops (2019)
Laura Bozzelli, Aniello Murano, Adriano Peron
Timed Context-Free Temporal Logics. CoRR (2019)
Walter Balzano, Aniello Murano, Loredana Sorrentino, Silvia Stranieri
Network Signal Comparison Through Waves Parameters: a Local-Alignment-Based Approach. M&N (2019)
Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
Reasoning about Changes of Observational Power in Logics of Knowledge and Time. AAMAS (2019)
Dario Della Monica, Angelo Montanari, Aniello Murano, Guido Sciavicco
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation. GCAI (2019)
Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. IJCAI (2019)
Wojciech Jamroga, Vadim Malvone, Aniello Murano
Natural Strategic Ability under Imperfect Information. AAMAS (2019)
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Reasoning about Quality and Fuzziness of Strategic Behaviours. CoRR (2019)
Laura Bozzelli, Bastien Maubert, Aniello Murano
The Complexity of Model Checking Knowledge and Time. IJCAI (2019)
Wojciech Jamroga, Vadim Malvone, Aniello Murano
Natural strategic ability. Artif. Intell. 277 (2019)
Raphaël Berthon, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Jean-François Raskin, Sasha Rubin
Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable. CoRR (2019)
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Reasoning about Quality and Fuzziness of Strategic Behaviours. IJCAI (2019)
Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin
Probabilistic Strategy Logic. IJCAI (2019)
Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
Planning under LTL Environment Specifications. ICAPS (2019)
Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
Solving Parity Games Using An Automata-Based Algorithm. CoRR (2019)
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Imperfect Information in Alternating-Time Temporal Logic on Finite Traces. PRIMA (2019)
Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
Graded modalities in Strategy Logic. Inf. Comput. 261 (2018)
Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
Synthesis under Assumptions. KR (2018)
Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino
Reasoning about graded strategy quantifiers. Inf. Comput. 259 (3) (2018)
Laura Bozzelli, Aniello Murano, Loredana Sorrentino
Results on Alternating-Time Temporal Logics with Linear Past. TIME (2018)
Antonio Di Stasio, Paolo Domenico Lambiase, Vadim Malvone, Aniello Murano
Dynamic Escape Game. AAMAS (2018)
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Strategy Logic with Imperfect Information. CoRR (2018)
Dario Della Monica, Aniello Murano
Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS. AAMAS (2018)
Benjamin Aminof, Aniello Murano, Sasha Rubin
CTL* with graded path modalities. Inf. Comput. 262 (2018)
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Alternating-time Temporal Logic on Finite Traces. IJCAI (2018)
Francesco Belardinelli, Catalin Dima, Aniello Murano
Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification. KR (2018)
Loredana Sorrentino, Sasha Rubin, Aniello Murano
Graded CTL* over Finite Paths. ICTCS (2018)
Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
Changing Observations in Epistemic Temporal Logic. KR (2018)
Laura Bozzelli, Aniello Murano, Adriano Peron
Timed Context-Free Temporal Logics. GandALF (2018)
Bastien Maubert, Aniello Murano
Reasoning about Knowledge and Strategies under Hierarchical Information. KR (2018)
Laura Bozzelli, Aniello Murano, Adriano Peron
Timed context-free temporal logics (extended version). CoRR (2018)
Raphaël Berthon, Bastien Maubert, Aniello Murano
Decidability results for ATL* with imperfect information and perfect recall. CoRR (2018)
Walter Balzano, Aniello Murano, Fabio Vitale
SNOT-WiFi: Sensor network-optimized training for wireless fingerprinting. J. High Speed Networks 24 (1) (2018)
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin
Quantifying Bounds in Strategy Logic. CSL (2018)
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Decidable Verification of Multi-agent Systems with Bounded Private Actions. AAMAS (2018)
Antonio Di Stasio, Aniello Murano, Moshe Y. Vardi
Solving Parity Games: Explicit vs Symbolic. CIAA (2018)

Aniello Murano.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Aniello Murano