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
Answer Set Programming (1); Datalog (1); Formal methods (1); formal methods (1); game theory (1);
Main Referenced Unit & Research Centers
CREMMI - Modélisation mathématique et informatique (3)
Main Referenced Disciplines
Mathematics (3)
Computer science (2)

Publications (total 4)

The most downloaded
125 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. (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