My research interests are mainly focused on formal verification and synthesis of reactive systems. More specifically, I am interested in comparing models via distances in multiple frameworks such as quantitative verification or reactive synthesis of efficient controllers.
- Cognitive flexibility and attentional patterns among trauma survivors. Preliminary evidence from an eye-tracking study. Wivine Blekic, Nellia Bellaert, Nicolas Lecomte, Kendra Kandana Arachchige, Hadrien Melot, Mandy Rossignol. European Journal of Psychotraumatology, volume 13(1) :2055296, 2022.
Peer-reviewed conference proceedings
- Computing H-Partitions in ASP and Datalog. Chloé Capon, Nicolas Lecomte, Jef Wijsen. International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), CEUR Workshop Proceedings, CEUR-WS.org, volume 3193, 15 pages, 2022. [On arXiv] [CEUR-WS.org]
Attended eventsMy talks with slides.
- ASPOCP 2022: 15th Workshop on Answer Set Programming and Other Computing Paradigms (Technion campus, Haifa, Israel).