Vadim Malvone

6 papers · 2019–2026 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze 🐣 Hot Topic Early Bird 🚀 Conference Pioneer

Venues

AAAI (3) IJCAI (3)

Top co-authors

Francesco Belardinelli (4) Aniello Murano (3) Wojciech Jamroga (2) Davide Catta (1) James Ortiz (1) Fortunat Rajaona (1) Marco Aruta (1) Jean Leneutre (1) Damian Kurpiewski (1) Francesco Improta (1)

Research topics

Artificial Intelligence (4) Core AI (4) Knowledge & Reasoning (2) Machine Learning (2) Optimization & Theory (2) Reasoning (2) Bayesian & Probabilistic (1)

Keywords

model checking (6) formal verification (3) temporal logic (3) multi-agent system (3) strategic reasoning (2) multi-agent planning (1) coalition game (1) alternating-time temporal logic (1) strategy logic (1) epistemic logic (1) concurrent game structure (1) abstraction method (1) strategic property (1) resource-bounded reasoning (1) game theory (1) fuzzy semantics (1) bounded rationality (1) program verification (1) imperfect information (1) first-order logic (1)

Papers

When Natural Strategies Meet Fuzziness and Resource-Bounded Actions AAAI 2026 Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions IJCAI 2025 Automatically Verifying Expressive Epistemic Properties of Programs AAAI 2023 Scalable Verification of Strategy Logic through Three-Valued Abstraction IJCAI 2023 An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information AAAI 2019 Strategy Logic with Simple Goals: Tractable Reasoning about Strategies IJCAI 2019