Laurent Perrussel
7 papers · 2016–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π£ Hot Topic Early Bird π§ Keyword Pioneer π Conference Polyglot (2) π Academic Marathon (7) π Cross-Pollinator (3)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(10)
π
Trend Setter
Conferences
IJCAI (4)
AAAI (3)
Top co-authors
Keywords
model checking
(3)
hierarchical task network
(2)
task insertion
(2)
automated planning
(2)
game theory
(2)
nash equilibrium
(1)
strategic reasoning
(1)
preference modeling
(1)
planning algorithm
(1)
task decomposition
(1)
state constraint
(1)
plan existence
(1)
hierarchical task network planning
(1)
diffusion auction
(1)
strategy logic
(1)
multi-agent system
(1)
probabilistic strategy logic
(1)
automated synthesis
(1)
bayesian mechanism
(1)
strategic properties
(1)
Papers
Formal Verification of Diffusion Auctions
AAAI 2026
Discounting in Strategy Logic
IJCAI 2023
Formal Verification of Bayesian Mechanisms
AAAI 2023
Automated Synthesis of Mechanisms
IJCAI 2022
Refining HTN Methods via Task Insertion with Preferences
AAAI 2020
Hierarchical Task Network Planning with Task Insertion and State Constraints
IJCAI 2017
Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games
IJCAI 2016