Nima Motamed
4 papers
· 2023–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
🏆
Keyword Champion
(2)
Conferences
AAAI (2)
IJCAI (2)
Top co-authors
Keywords
model checking
(2)
belief revision
(2)
probabilistic temporal logic
(2)
alternating-time temporal logic
(1)
multi-agent system
(1)
probabilistic strategy logic
(1)
stochastic multi-agent system
(1)
information transparency
(1)
observability operator
(1)
policy verification
(1)
intention revision
(1)
group intention
(1)
markov decision process
(1)
rational revision
(1)
autonomous agent
(1)
stochastic game
(1)