Back
  1. Home
  2. Profile of Clément Tamines (UMONS)
Profil

Tamines Clément

Main Referenced Co-authors
BRUYERE, 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
28 downloads
Bruyère, V., Pérez, G., Raskin, J.-F., & Tamines, C. (2019). Partial Solvers for Generalized Parity Games [Paper presentation]. Reachability Problems, Brussels, Belgium. https://hdl.handle.net/20.500.12907/30042

The most cited

3 citations (Scopus®)

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 https://hdl.handle.net/20.500.12907/44295

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). ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/42995. doi:10.48550/arXiv.2203.01285

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

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

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

Tamines, C. (24 March 2021). Stackelberg-Pareto Synthesis [Paper presentation]. 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 presentation]. Séminaire Jeunes (Math-Info), Mons, Belgium.

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

Tamines, C. (11 September 2019). Partial Solvers for Generalized Parity Games [Paper presentation]. 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. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/36802.

Tamines, C. (22 June 2019). Partial Solvers for Generalized Parity Games [Paper presentation]. 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 presentation]. Reachability Problems, Brussels, Belgium.

Contact ORBi UMONS