Clément Tamines
Clément Tamines
Home
Publications
Talks
CV
Light
Dark
Automatic
Publications
Type
Conference paper
Preprint
Date
2022
2021
2019
Véronique Bruyère
,
Jean-François Raskin
,
Clément Tamines
(2022).
Pareto-Rational Verification
. CoRR.
PDF
Cite
Véronique Bruyère
,
Jean-François Raskin
,
Clément Tamines
(2021).
Stackelberg-Pareto Synthesis
. CONCUR 2021.
PDF
Cite
Véronique Bruyère
,
Jean-François Raskin
,
Clément Tamines
(2021).
Stackelberg-Pareto Synthesis
. CONCUR 2021.
PDF
Cite
Véronique Bruyère
,
Jean-François Raskin
,
Clément Tamines
(2021).
Stackelberg-Pareto Synthesis (Full Version)
. CoRR.
PDF
Cite
Véronique Bruyère
,
Guillermo A. Pérez
,
Jean-François Raskin
,
Clément Tamines
(2019).
Partial Solvers for Generalized Parity Games
. RP 2019.
PDF
Cite
DOI
Véronique Bruyère
,
Guillermo A. Pérez
,
Jean-François Raskin
,
Clément Tamines
(2019).
Partial Solvers for Generalized Parity Games (Full Version)
. CoRR.
PDF
Cite
Cite
×