Clément Tamines

According to our database, Clément Tamines authored at least 7 papers between 2019 and 2024.

Collaborative distances:

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

2024

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.

Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker

Int. J. Softw. Tools Technol. Transf., October, 2024

Stackelberg-Pareto Synthesis.

Véronique Bruyère, Baptiste Fievet, Jean-François Raskin, Clément Tamines

ACM Trans. Comput. Log., April, 2024

2022

Stackelberg-Pareto Synthesis (Extended Version).

Véronique Bruyère, Baptiste Fievet, Jean-François Raskin, Clément Tamines

CoRR, 2022

Pareto-Rational Verification.

Véronique Bruyère, Jean-François Raskin, Clément Tamines

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

Stackelberg-Pareto Synthesis (Full Version).

Véronique Bruyère, Jean-François Raskin, Clément Tamines

CoRR, 2021

Stackelberg-Pareto Synthesis.

Véronique Bruyère, Jean-François Raskin, Clément Tamines

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

2019

Partial Solvers for Generalized Parity Games.

Véronique Bruyère, Guillermo A. Pérez, Jean-François Raskin, Clément Tamines

Proceedings of the Reachability Problems - 13th International Conference, 2019