Laurent Perrussel

Full Professor, IRIT, Universite Toulouse Capitole

Joined

July 2019

Names

Laurent Perrussel

Emails

****@irit.fr (Confirmed)

****@ut-capitole.fr (Confirmed)

****@univ-tlse1.fr (Confirmed)

Personal Links

Career & Education History

Full Professor

IRIT, Universite Toulouse Capitole (irit.fr)

2015 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

Artificial Intelligence

Present

Publications

Formal verification and synthesis of mechanisms for social choice
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
- Artif. Intell. 2025
- Readers: Everyone
Formal Verification of Bayesian Mechanisms
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
- AAAI 2023
- Readers: Everyone
Discounting in Strategy Logic
Munyque Mittelmann, Aniello Murano, Laurent Perrussel
- IJCAI 2023
- Readers: Everyone
Representing and Reasoning about Auctions
Munyque Mittelmann, Laurent Perrussel, Sylvain Bouveret
- AAMAS 2023
- Readers: Everyone
Game equivalence and expressive power of game description languages: a bisimulation approach
Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang
- Published: 01 Jan 2023, Last Modified: 25 Feb 2024
- J. Log. Comput. 2023
- Readers: Everyone
Automated Synthesis of Mechanisms
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
- IJCAI 2022
- Readers: Everyone
Representing and reasoning about auctions
Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel
- Auton. Agents Multi Agent Syst. 2022
- Readers: Everyone
Synthesis of Mechanisms with Strategy Logic
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
- ICTCS 2022
- Readers: Everyone
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
- 2022 (modified: 16 Apr 2023)
- AAMAS 2022
- Readers: Everyone

View all 48 publications

Co-Authors

View all 28 co-authors