![]() ![]() | 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. |
![]() ![]() | Capon, C. (16 October 2023). Generation and Exploitation of Counterexamples in Stochastic Models [Paper presentation]. Seminar at Masaryk University, Brno, Czechia. |
![]() ![]() | Capon, C., Goeminne, A., Lecomte, N., Main, J., Randour, M., Staquet, G., Terefenko, A., & Vandenhove, P. (2023). À vous de jouer ! |
![]() ![]() | 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. |
![]() ![]() | 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. ![]() |