Wojciech Jamroga
7 papers
· 2019–2025
· 1 conference
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🏃
Academic Marathon
(6)
🐝
Cross-Pollinator
(9)
🐣
Hot Topic Early Bird
Conferences
IJCAI (7)
Top co-authors
Keywords
model checking
(5)
strategic reasoning
(4)
multi-agent system
(4)
epistemic logic
(2)
formal verification
(2)
imperfect information
(2)
temporal logic
(2)
probabilistic model checking
(1)
strategic ability
(1)
state abstraction
(1)
fixpoint approximation
(1)
game theory
(1)
uncertainty quantification
(1)
partial observability
(1)
shannon entropy
(1)
model reduction
(1)
strategy logic
(1)