Clément Tamines

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 9

Top Topics

Signature Verification

Multiobjective Optimization

Incentive Compatibility

Single Commodity

Top Venues

ACM Trans. Comput. Log.

Publications

Véronique Bruyère, Baptiste Fievet, Jean-François Raskin, Clément Tamines
Stackelberg-Pareto Synthesis. ACM Trans. Comput. Log. 25 (2) (2024)
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
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR (2022)
Véronique Bruyère, Jean-François Raskin, Clément Tamines
Pareto-Rational Verification. CoRR (2022)
Véronique Bruyère, Baptiste Fievet, Jean-François Raskin, Clément Tamines
Stackelberg-Pareto Synthesis (Extended Version). CoRR (2022)
Véronique Bruyère, Jean-François Raskin, Clément Tamines
Pareto-Rational Verification. CONCUR (2022)
Véronique Bruyère, Jean-François Raskin, Clément Tamines
Stackelberg-Pareto Synthesis. CONCUR (2021)
Véronique Bruyère, Jean-François Raskin, Clément Tamines
Stackelberg-Pareto Synthesis (Full Version). CoRR (2021)
Véronique Bruyère, Guillermo A. Pérez, Jean-François Raskin, Clément Tamines
Partial Solvers for Generalized Parity Games. CoRR (2019)
Véronique Bruyère, Guillermo A. Pérez, Jean-François Raskin, Clément Tamines
Partial Solvers for Generalized Parity Games. RP (2019)