PPaperPicks

Aniello Murano

University of Naples Federico II, Italy

16 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID 0000-0003-4876-3448 ↗Google Scholar ↗Homepage ↗

Venues

KR ×6AAMAS ×5AAAI ×2IJCAI ×2ECAI ×1

Frequent coauthors

Munyque Mittelmann
×7
Wojtek Jamroga
×4
Vadim Malvone
×4
Davide Catta
×3
Rustam Galimullin
×2
Marco Aruta
×2
Yifan He
×2
Abdallah Saffidine
×2
Michael Thielscher
×2
Raphaël Berthon
×2
Joost-Pieter Katoen
×2
Giuseppe Perelli
×2

Papers

  1. Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking
    KR 2026 ·
    Rustam Galimullin
    ,
    Wojciech Jamroga
    ,
    Damian Kurpiewski
    ,
    Vadim Malvone
    , Aniello Murano
  2. Specifying Agent Strategy Spaces via LTL Synthesis
    KR 2026 ·
    Benjamin Aminof
    ,
    Giuseppe De Giacomo
    , Aniello Murano,
    Sasha Rubin
  3. When Natural Strategies Meet Fuzziness and Resource-Bounded Actions
    AAAI 2026 ·
    Marco Aruta
    ,
    Francesco Improta
    ,
    Vadim Malvone
    , Aniello Murano
  4. An Intuitionistic Version of Alternating-Time Temporal Logic
    KR 2025 ·
    Laura Bozzelli
    ,
    Andrea Capone
    ,
    Davide Catta
    , Aniello Murano
  5. ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy - Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025)
    ECAI 2025 ·
    Inês Lynce
    , Nello Murano,
    Mauro Vallati
    ,
    Serena Villata
    ,
    Federico Chesani
    ,
    Michela Milano
    ,
    Andrea Omicini
    ,
    Mehdi Dastani
  6. FindMe: A Prototype Videogame AI based on CTL with an Optimized Synthesis Algorithm
    AAMAS 2025 ·
    Marco Aruta
    ,
    Vadim Malvone
    , Aniello Murano,
    Vincenzo Pio Palma
    ,
    Salvatore Romano
  7. First-Order Coalition Logic
    IJCAI 2025 ·
    Davide Catta
    ,
    Rustam Galimullin
    , Aniello Murano
  8. Repairing General Game Descriptions
    KR 2025 ·
    Yifan He
    ,
    Munyque Mittelmann
    , Aniello Murano,
    Abdallah Saffidine
    ,
    Michael Thielscher
  9. Robust Strategies for Stochastic Multi-Agent Systems
    AAMAS 2025 ·
    Raphaël Berthon
    ,
    Joost-Pieter Katoen
    ,
    Munyque Mittelmann
    , Aniello Murano
  10. Strategies, Credences, and Shannon Entropy: Reasoning about Strategic Uncertainty in Stochastic Environments
    IJCAI 2025 ·
    Wojciech Jamroga
    ,
    Michal Tomasz Godziszewski
    , Aniello Murano
  11. Incentive Design for Rational Agents
    KR 2024 ·
    David Hyland
    ,
    Munyque Mittelmann
    , Aniello Murano,
    Giuseppe Perelli
    ,
    Michael J. Wooldridge
  12. Natural Strategic Ability in Stochastic Multi-Agent Systems
    AAAI 2024 ·
    Raphaël Berthon
    ,
    Joost-Pieter Katoen
    ,
    Munyque Mittelmann
    , Aniello Murano
  13. Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models
    AAMAS 2024 ·
    Davide Catta
    ,
    Jean Leneutre
    ,
    Vadim Malvone
    , Aniello Murano
  14. Playing Quantitative Games Against an Authority: On the Module Checking Problem
    AAMAS 2024 ·
    Wojciech Jamroga
    ,
    Munyque Mittelmann
    , Aniello Murano,
    Giuseppe Perelli
  15. Verification of General Games with Imperfect Information Using Strategy Logic
    KR 2024 ·
    Yifan He
    ,
    Munyque Mittelmann
    , Aniello Murano,
    Abdallah Saffidine
    ,
    Michael Thielscher
  16. Verification of Stochastic Multi-Agent Systems with Forgetful Strategies
    AAMAS 2024 ·
    Francesco Belardinelli
    ,
    Wojtek Jamroga
    ,
    Munyque Mittelmann
    , Aniello Murano