Léo Tible

According to our database, Léo Tible authored at least 6 papers between 2018 and 2024.

Collaborative distances:

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

2024

Promptness and Fairness in Muller LTL Formulas.

Damien Busatto-Gaston, Youssouf Oualhadj, Léo Tible, Daniele Varacca

Proceedings of the 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2024

2022

Fairness and promptness in Muller formulas.

Youssouf Oualhadj, Léo Tible, Daniele Varacca

CoRR, 2022

2020

On the Encoding and Solving of Partial Information Games.

Yackolley Amoussou-Guenou, Souheib Baarir, Maria Potop-Butucaru, Nathalie Sznajder, Léo Tible, Sébastien Tixeuil

Proceedings of the Networked Systems - 8th International Conference, 2020

Non-monotone DR-submodular Maximization over General Convex Sets.

Christoph Dürr, Kim Thang Nguyen, Abhinav Srivastav, Léo Tible

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019

Non-monotone DR-submodular Maximization: Approximation and Regret Guarantees.

Christoph Dürr, Kim Thang Nguyen, Abhinav Srivastav, Léo Tible

CoRR, 2019

2018

Banach-Mazur Parity Games and Almost-sure Winning Strategies.

Youssouf Oualhadj, Léo Tible, Daniele Varacca

CoRR, 2018