Vadim Malvone
6 papers · 2019–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (2) 🏃 Academic Marathon (6) 🐝 Cross-Pollinator (15) 🧭 Keyword Pioneer
🐣
Hot Topic Early Bird
🚀
Conference Pioneer
Conferences
AAAI (3)
IJCAI (3)
Top co-authors
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