Perrussel, Laurent

8 publications

IJCAI 2023 Discounting in Strategy Logic Munyque Mittelmann, Aniello Murano, Laurent Perrussel

AAAI 2023 Formal Verification of Bayesian Mechanisms Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel

IJCAI 2022 Automated Synthesis of Mechanisms Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel

AAAI 2020 Refining HTN Methods via Task Insertion with Preferences Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen

IJCAI 2017 Hierarchical Task Network Planning with Task Insertion and State Constraints Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su

IJCAI 2016 Epistemic GDL: A Logic for Representing and Reasoning About Imperfect Information Games Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang

IJCAI 2011 Mechanism Design for Double Auctions with Temporal Constraints Dengji Zhao, Dongmo Zhang, Laurent Perrussel

AAAI 2010 Dynamic Auction: A Tractable Auction Procedure Dongmo Zhang, Laurent Perrussel