Vadim Malvone

Venues

Frequent coauthors

Papers

1. Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking
   KR 2026 ·

   Rustam Galimullin

   DBLP profile ↗ORCID search ↗
2. When Natural Strategies Meet Fuzziness and Resource-Bounded Actions
   AAAI 2026 ·

   Marco Aruta

   DBLP profile ↗ORCID search ↗
3. Agreement Games in Multi-Agent Systems
   AAMAS 2025 ·

   Davide Catta

   DBLP profile ↗ORCID search ↗
4. Alternating-time Temporal Logic with Stochastic Abilities
   AAMAS 2025 ·

   Gabriel Ballot

   DBLP profile ↗ORCID search ↗
5. Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions
   IJCAI 2025 ·

   Davide Catta

   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. Runtime Verification with Rational Multi-Monitors
   ECAI 2025 ·

   Davide Catta

   DBLP profile ↗ORCID search ↗
8. Strategic Reasoning with Capacity-Constrained Agents and Imperfect Information
   ECAI 2025 ·

   Gabriel Ballot

   DBLP profile ↗ORCID search ↗
9. Timed Obstruction Logic: A Timed Approach to Dynamic Game Reasoning
   AAMAS 2025 ·

   Jean Leneutre

   DBLP profile ↗ORCID search ↗
10. VITAMIN: VerIficaTion of A MultI ageNt system
    AAMAS 2025 ·

    Angelo Ferrando

    DBLP profile ↗ORCID search ↗
11. Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models
    AAMAS 2024 ·

    Davide Catta

    DBLP profile ↗ORCID search ↗
12. Strategic Reasoning under Capacity-constrained Agents
    AAMAS 2024 ·

    Gabriel Ballot

    DBLP profile ↗ORCID search ↗