Wojciech Jamroga
7 papers · 2019–2025 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🏃
Academic Marathon · Sprint
🐣
Hot Topic Early Bird
Venues
Top co-authors
Research topics
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
NatSTV: Towards Verification of Natural Strategic Ability
IJCAI 2025
Strategies, Credences, and Shannon Entropy: Reasoning about Strategic Uncertainty in Stochastic Environments
IJCAI 2025
Practical Model Reductions for Verification of Multi-Agent Systems
IJCAI 2023
Scalable Verification of Strategy Logic through Three-Valued Abstraction
IJCAI 2023
Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!)
IJCAI 2019
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies
IJCAI 2019