Chloé CAPON
Nombre de publications : 8
2025
Colloques et congrès scientifiques/Communication orale non publiée/Abstract
- Capon, C., & Main, J. (10 March 2025). "Une introduction à la théorie des jeux" [Paper presentation]. Mois du Doctorat (les doctorants prennent le pouvoir).
2024
Colloques et congrès scientifiques/Communication orale non publiée/Abstract
- Capon, C. (20 November 2024). "Taming Large MDPs Through Stochastic Games" [Paper presentation]. Journées du GT Vérif 2024, Lille, France.
- Capon, C. (19 September 2024). "Taming Large MDPs Through Stochastic Games" [Paper presentation]. Highlights of Logic, Games and Automata 2024, Bordeaux, France.
- Capon, C. (30 May 2024). "Generation of Counterexamples for Synthesis in Markov Decision Processes" [Paper presentation]. MOVEP'24, Rennes, France.
2023
Allocutions et communications diverses/Autre
- Capon, C., Goeminne, A., Lecomte, N., Main, J., Randour, M., Staquet, G., Terefenko, A., & Vandenhove, P. (2023). "À vous de jouer !"
Conférences scientifiques dans des universités ou centres de recherche/Conférence scientifique dans des universités ou centres de recherche
- Capon, C. (16 October 2023). "Generation and Exploitation of Counterexamples in Stochastic Models" [Paper presentation]. Seminar at Masaryk University, Brno, Czechia.
- Capon, C., & Lecomte, N. (27 February 2023). "Multi-Reachability Objectives in MDPs: A Game-Based Abstraction Approach" [Paper presentation]. UMONS Formal Methods Reading Group, Mons, Belgium.
2022
Colloques et congrès scientifiques/Communication publiée dans un ouvrage
- Capon, C., Lecomte, N., & Wijsen, J. (2022). Computing H-Partitions in ASP and Datalog. In "Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022)". CEUR-WS.org.