Bastien Maubert
10 papers
· 2016–2023
· 2 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(11)
π
Conference Polyglot
(2)
π
Academic Marathon
(7)
π£
Hot Topic Early Bird
π
Cross-Pollinator
(4)
π
Century Club
(10)
π₯
Unstoppable
(5)
Conferences
IJCAI (9)
AAAI (1)
Top co-authors
Keywords
model checking
(6)
game theory
(3)
multi-player game
(2)
knowledge representation
(2)
probabilistic strategy logic
(2)
formal verification
(2)
multi-agent system
(2)
strategic reasoning
(2)
dynamic epistemic logic
(2)
concurrent game
(1)
linear temporal logic
(1)
reachability game
(1)
reactive synthesis
(1)
distributed strategy
(1)
strategy logic
(1)
fuzzy temporal logic
(1)
epistemic logic
(1)
automated synthesis
(1)
bayesian mechanism
(1)
strategic properties
(1)
Papers
Automated Synthesis of Mechanisms
IJCAI 2022
Concurrent Games in Dynamic Epistemic Logic
IJCAI 2020
Probabilistic Strategy Logic
IJCAI 2019