# Publications

See also my Google scholar or my dblp page. Publications are grouped by type (journals, conferences, etc) and authors are usually listed alphabetically in my field.

I have (co-)authored 1 book, 12 journal articles, and 31 conference papers, including 5 invited contributions.

## Books

### 2023

## Peer-reviewed journals

### 2024

### 2023

### 2022

### 2020

### 2018

### 2017

### 2015

### 2014

## International peer-reviewed conferences

### 2023

- FSTTCSReachability Games and Friends: A Journey Through the Lens of Memory and Complexity
*In 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023, December 18-20, 2023, IIIT Hyderabad, Telangana, India*, 2023 - IJCAIHalf-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract)
*In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China*, 2023

### 2022

- FSTTCSThe True Colors of Memory: A Tour of Chromatic-Memory Strategies in Zero-Sum Games on Graphs (Invited Talk)
*In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022, December 18-20, 2022, IIT Madras, Chennai, India*, 2022

### 2021

### 2020

- TACASSimple Strategies in Multi-Objective MDPs
*In Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I*, 2020

### 2019

- CONCURLife Is Random, Time Is Not: Markov Decision Processes with Window Objectives
*In 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands*, 2019

### 2018

### 2017

- FoSSaCSBounding Average-Energy Games
*In Foundations of Software Science and Computation Structures - 20th International Conference, FoSSaCS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings*, 2017

### 2016

- LATANon-Zero Sum Games for Reactive Synthesis
*In Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings*, 2016

### 2015

- VMCAIVariations on the Stochastic Shortest Path Problem
*In Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings*, 2015

### 2014

### 2013

### 2012

## Thesis

### 2014

- PhD ThesisSynthesis in Multi-Criteria Quantitative GamesApr 2014UMONS – Université de Mons. Supervisors: Véronique Bruyère (UMONS) et Jean-François Raskin (ULB).