Back
  1. Home
  2. Profile of Nicolas Lecomte (UMONS)
Profil

Lecomte Nicolas

Université de Mons - UMONS > Faculté des Sciences > Service d'Analyse numérique

Université de Mons - UMONS > Faculté des Sciences > Service de Probabilité et statistique

Université de Mons - UMONS > Administration > Service de la Communication

Université de Mons - UMONS > Faculté de Médecine et de Pharmacie > Service de la Cellule de pédagogie Facultaire de Médecine et Pharmacie

Université de Mons - UMONS > Administration > Service du Premier Vice-Recteur

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)

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

Lecomte, N. (16 October 2023). Transferring controllers in reactive synthesis [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