Léonard Brice

According to our database, Léonard Brice authored at least 6 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Subgame-perfect Equilibria in Mean-payoff Games (journal version).

Léonard Brice, Marie van den Bogaard, Jean-François Raskin

Log. Methods Comput. Sci., 2023

Rational verification and checking for Nash and subgame-perfect equilibria in graph games.

Léonard Brice, Jean-François Raskin, Marie van den Bogaard

CoRR, 2023

Rational Verification for Nash and Subgame-Perfect Equilibria in Graph Games.

Léonard Brice, Jean-François Raskin, Marie van den Bogaard

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2022

The Complexity of SPEs in Mean-Payoff Games.

Léonard Brice, Jean-François Raskin, Marie van den Bogaard

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

On the Complexity of SPEs in Parity Games.

Léonard Brice, Jean-François Raskin, Marie van den Bogaard

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

Subgame-Perfect Equilibria in Mean-Payoff Games.

Léonard Brice, Jean-François Raskin, Marie van den Bogaard

Proceedings of the 32nd International Conference on Concurrency Theory, 2021