PPaperPicks

Vadim Malvone

12 papers at tracked venues · 1 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAMAS ×7ECAI ×2AAAI ×1IJCAI ×1KR ×1

Frequent coauthors

Jean Leneutre
×6
Aniello Murano
×4
Davide Catta
×4
Angelo Ferrando
×3
Gabriel Ballot
×3
Marco Aruta
×2
Jingxuan Ma
×2
James Ortiz
×2
Rustam Galimullin
×1
Wojciech Jamroga
×1
Damian Kurpiewski
×1
Francesco Improta
×1

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. When Natural Strategies Meet Fuzziness and Resource-Bounded Actions
    AAAI 2026 ·
    Marco Aruta
    ,
    Francesco Improta
    , Vadim Malvone,
    Aniello Murano
  3. Agreement Games in Multi-Agent Systems
    AAMAS 2025 ·
    Davide Catta
    ,
    Angelo Ferrando
    , Vadim Malvone
  4. Alternating-time Temporal Logic with Stochastic Abilities
    AAMAS 2025 ·
    Gabriel Ballot
    , Vadim Malvone,
    Jean Leneutre
    ,
    Jingxuan Ma
    ,
    Mourad Leslous
  5. Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions
    IJCAI 2025 ·
    Davide Catta
    ,
    Jean Leneutre
    , Vadim Malvone,
    James Ortiz
  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. Runtime Verification with Rational Multi-Monitors
    ECAI 2025 ·
    Davide Catta
    ,
    Angelo Ferrando
    , Vadim Malvone
  8. Strategic Reasoning with Capacity-Constrained Agents and Imperfect Information
    ECAI 2025 ·
    Gabriel Ballot
    , Vadim Malvone,
    Jean Leneutre
    ,
    Jingxuan Ma
  9. Timed Obstruction Logic: A Timed Approach to Dynamic Game Reasoning
    AAMAS 2025 ·
    Jean Leneutre
    , Vadim Malvone,
    James Ortiz
  10. VITAMIN: VerIficaTion of A MultI ageNt system
    AAMAS 2025 ·
    Angelo Ferrando
    , Vadim Malvone
  11. Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models
    AAMAS 2024 ·
    Davide Catta
    ,
    Jean Leneutre
    , Vadim Malvone,
    Aniello Murano
  12. Strategic Reasoning under Capacity-constrained Agents
    AAMAS 2024 ·
    Gabriel Ballot
    , Vadim Malvone,
    Jean Leneutre
    ,
    Youssef Laarouchi