Vadim Malvone
6 papers
· 2019–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
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)