LECOMTE Nicolas

Main Referenced Co-authors

CAPON, Chloé (3)

GOEMINNE, Aline (1)

MAIN, James (1)

RANDOUR, Mickaël (1)

STAQUET, Gaëtan (1)

Main Referenced Keywords

formal methods (3); games on graphs (2); Answer Set Programming (1); complex systems (1); Datalog (1);

Main Referenced Unit & Research Centers

CREMMI - Modélisation mathématique et informatique (4)

Main Referenced Disciplines

Computer science (4)

Mathematics (4)

Publications (total 5)

Search in publications

The most downloaded

142 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

Lecomte, N. (20 November 2023). Strategy Repair in Reachability Games [Paper presentation]. Paper presented at UMONS Formal Methods Reading Group, Mons, Belgium.

https://hdl.handle.net/20.500.12907/47753

Lecomte, N. (16 October 2023). Transferring controllers in reactive synthesis [Paper presentation]. Seminar at Masaryk University, Brno, Czechia.

https://hdl.handle.net/20.500.12907/47763

Capon, C., Goeminne, A., Lecomte, N., Main, J., Randour, M., Staquet, G., Terefenko, A., & Vandenhove, P. (2023). À vous de jouer !

https://hdl.handle.net/20.500.12907/45674

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.

https://hdl.handle.net/20.500.12907/47143

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

Peer reviewed