Bastien Maubert
10 papers · 2016–2023 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
๐ 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
Formal Verification of Bayesian Mechanisms
AAAI 2023
Automated Synthesis of Mechanisms
IJCAI 2022
Reasoning About Agents That May Know Other Agentsโ Strategies
IJCAI 2021
Assume-Guarantee Synthesis for Prompt Linear Temporal Logic
IJCAI 2020
Concurrent Games in Dynamic Epistemic Logic
IJCAI 2020
The Complexity of Model Checking Knowledge and Time
IJCAI 2019
Probabilistic Strategy Logic
IJCAI 2019
Reachability Games in Dynamic Epistemic Logic
IJCAI 2019
Reasoning about Quality and Fuzziness of Strategic Behaviours
IJCAI 2019
On the Impact of Modal Depth in Epistemic Planning
IJCAI 2016