Profil

Capon Chloé

Université de Mons - UMONS > Faculté des Sciences > Service de Mathématiques effectives

Université de Mons - UMONS > Faculté des Sciences > Service de Logique mathématique

Main Referenced Co-authors
LECOMTE, Nicolas  (3)
GOEMINNE, Aline  (1)
MAIN, James  (1)
RANDOUR, Mickaël  (1)
STAQUET, Gaëtan  (1)
Main Referenced Keywords
Formal methods (4); game theory (4); reactive synthesis (4); stochastic models (4); Answer Set Programming (1);
Main Referenced Unit & Research Centers
CREMMI - Modélisation mathématique et informatique (3)
Main Referenced Disciplines
Mathematics (6)
Computer science (5)

Publications (total 7)

The most downloaded
141 downloads
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. https://hdl.handle.net/20.500.12907/44405

Capon, C. (20 November 2024). Taming Large MDPs Through Stochastic Games [Paper presentation]. Journées du GT Vérif 2024, Lille, France.
Editorial reviewed

Capon, C. (19 September 2024). Taming Large MDPs Through Stochastic Games [Paper presentation]. Highlights of Logic, Games and Automata 2024, Bordeaux, France.
Peer reviewed

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.
Peer reviewed

Contact ORBi UMONS