Laurent Perrussel
7 papers · 2016–2026 · 2 venues · 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 ↓+2 more ↓ Show less ↑
π£ Hot Topic Early Bird π Academic Marathon Β· Half π Interdisciplinary Bridge Β· Silver π Conference Polyglot Β· Bronze πΊοΈ Taxonomy Completionist (10)
π§
Keyword Pioneer
π
Trend Setter
Top co-authors
Research topics
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)
bayesian nash equilibrium
(1)
multi-agent system
(1)
probabilistic strategy logic
(1)
automated synthesis
(1)
bayesian mechanism
(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