Profil

Tamines Clément


Main Referenced Co-authors
Bruyère, Véronique  (6)
Raskin, Jean-François (5)
Meurisse, Quentin  (2)
Pérez, Guillermo (2)
Randour, Mickaël  (2)
Main Referenced Keywords
Computer Science - Computer Science and Game Theory (1); Model-checking (1); Pareto-optimality (1); Rational verification (1); ω-regular objectives (1);
Main Referenced Unit & Research Centers
CREMMI - Modélisation mathématique et informatique (14)
Main Referenced Disciplines
Electrical & electronics engineering (10)
Computer science (5)
Mathematics (2)

Publications (total 15)

The most downloaded
4 downloads
Bruyère, V., Raskin, J.-F., & Tamines, C. (2021). Stackelberg-Pareto Synthesis. Paper presented at International Conference on Concurrency Theory, . https://hdl.handle.net/20.500.12907/31166

Bruyère, V., Raskin, J.-F., & Tamines, C. (2022). Pareto-Rational Verification. In B. Klin (Ed.), 33rd International Conference on Concurrency Theory, CONCUR 2022 (pp. 33:1--33:20). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. doi:10.4230/LIPIcs.CONCUR.2022.33
Peer reviewed

Main, J., Meurisse, Q., Randour, M., Staquet, G., Tamines, C., & Vandenhove, P. (2022). À vous de jouer !

Bruyère, V., Baptiste Fiévet, Jean-François Raskin, & Tamines, C. (2022). Stackelberg-Pareto Synthesis (Extended Version). Eprint/Working paper retrieved from https://orbi.umons.ac.be/20.500.12907/42995. doi:10.48550/arXiv.2203.01285

Tamines, C. (15 September 2021). Stackelberg-Pareto Synthesis. Paper presented at Highlights of Logic, Games and Automata, Online, Unknown/unspecified.

Tamines, C. (26 August 2021). Stackelberg-Pareto Synthesis. Paper presented at International Conference on Concurrency Theory, Online, Unknown/unspecified.

Bruyère, V., Raskin, J.-F., & Tamines, C. (2021). Stackelberg-Pareto Synthesis. Paper presented at International Conference on Concurrency Theory, .

Tamines, C. (24 March 2021). Stackelberg-Pareto Synthesis. Paper presented at MFV seminar - ULB, .

Bruyère, V., Raskin, J.-F., & Tamines, C. (2021). Stackelberg-Pareto Synthesis. In LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. doi:10.4230/LIPIcs.CONCUR.2021.27
Peer reviewed

Tamines, C. (05 March 2020). La vérification à l'aide des jeux. Paper presented at Séminaire Jeunes (Math-Info), Mons, Belgium.

Tamines, C. (18 September 2019). Partial Solvers for Generalized Parity Games. Paper presented at Highlights of Logic, Games and Automata, Warsaw, Poland.

Tamines, C. (11 September 2019). Partial Solvers for Generalized Parity Games. Paper presented at 13th International Conference on Reachability Problems (RP'19), Brussels, Belgium.

Bruyère, V., Pérez, G., Raskin, J.-F., & Tamines, C. (2019). Partial Solvers for Generalized Parity Games. Eprint/Working paper retrieved from https://orbi.umons.ac.be/20.500.12907/36802.

Tamines, C. (22 June 2019). Partial Solvers for Generalized Parity Games. Paper presented at 2nd International Workshop on Multi-objective Reasoning in Verification and Synthesis -- MoRe 2019, Vancouver, Canada.

Delgrange, F., Goeminne, A., Hallet, M., Meurisse, Q., Tamines, C., Thomasset, N., Randour, M., & Van Mieghem, K. (2019). A vous de jouer !

Bruyère, V., Pérez, G., Raskin, J.-F., & Tamines, C. (2019). Partial Solvers for Generalized Parity Games. Paper presented at Reachability Problems, Brussels, Belgium.

Contact ORBi