Wojciech Jamroga
7 papers · 2019–2025 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓
🧭
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)
Papers
Approximate Verification of Strategic Abilities under Imperfect Information Using Local Models
IJCAI 2025
Strategies, Credences, and Shannon Entropy: Reasoning about Strategic Uncertainty in Stochastic Environments
IJCAI 2025
NatSTV: Towards Verification of Natural Strategic Ability
IJCAI 2025
Practical Model Reductions for Verification of Multi-Agent Systems
IJCAI 2023
Scalable Verification of Strategy Logic through Three-Valued Abstraction
IJCAI 2023
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies
IJCAI 2019
Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!)
IJCAI 2019