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

Marco Aruta
DBLP profile ↗ORCID search ↗
×2
Davide Catta
DBLP profile ↗ORCID search ↗
×2
Yifan He
DBLP profile ↗ORCID search ↗
×2
Raphaël Berthon
DBLP profile ↗ORCID search ↗
×2
Wojciech Jamroga
DBLP profile ↗ORCID search ↗
×2
Rustam Galimullin
DBLP profile ↗ORCID search ↗
×1
Benjamin Aminof
DBLP profile ↗ORCID search ↗
×1
Laura Bozzelli
DBLP profile ↗ORCID search ↗
×1
Inês Lynce
DBLP profile ↗ORCID search ↗
×1
David Hyland
DBLP profile ↗ORCID search ↗
×1
Francesco Belardinelli
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking
    KR 2026 ·
    Rustam Galimullin
    DBLP profile ↗ORCID search ↗
  2. Specifying Agent Strategy Spaces via LTL Synthesis
    KR 2026 ·
    Benjamin Aminof
    DBLP profile ↗ORCID search ↗
  3. When Natural Strategies Meet Fuzziness and Resource-Bounded Actions
    AAAI 2026 ·
    Marco Aruta
    DBLP profile ↗ORCID search ↗
  4. An Intuitionistic Version of Alternating-Time Temporal Logic
    KR 2025 ·
    Laura Bozzelli
    DBLP profile ↗ORCID search ↗
  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
    DBLP profile ↗ORCID search ↗
  6. FindMe: A Prototype Videogame AI based on CTL with an Optimized Synthesis Algorithm
    AAMAS 2025 ·
    Marco Aruta
    DBLP profile ↗ORCID search ↗
  7. First-Order Coalition Logic
    IJCAI 2025 ·
    Davide Catta
    DBLP profile ↗ORCID search ↗
  8. Repairing General Game Descriptions
    KR 2025 ·
    Yifan He
    DBLP profile ↗ORCID search ↗
  9. Robust Strategies for Stochastic Multi-Agent Systems
    AAMAS 2025 ·
    Raphaël Berthon
    DBLP profile ↗ORCID search ↗
  10. Strategies, Credences, and Shannon Entropy: Reasoning about Strategic Uncertainty in Stochastic Environments
    IJCAI 2025 ·
    Wojciech Jamroga
    DBLP profile ↗ORCID search ↗
  11. Incentive Design for Rational Agents
    KR 2024 ·
    David Hyland
    DBLP profile ↗ORCID search ↗
  12. Natural Strategic Ability in Stochastic Multi-Agent Systems
    AAAI 2024 ·
    Raphaël Berthon
    DBLP profile ↗ORCID search ↗
  13. Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models
    AAMAS 2024 ·
    Davide Catta
    DBLP profile ↗ORCID search ↗
  14. Playing Quantitative Games Against an Authority: On the Module Checking Problem
    AAMAS 2024 ·
    Wojciech Jamroga
    DBLP profile ↗ORCID search ↗
  15. Verification of General Games with Imperfect Information Using Strategy Logic
    KR 2024 ·
    Yifan He
    DBLP profile ↗ORCID search ↗
  16. Verification of Stochastic Multi-Agent Systems with Forgetful Strategies
    AAMAS 2024 ·
    Francesco Belardinelli
    DBLP profile ↗ORCID search ↗