On Implementing Symbolic Controllability. - Adrian Francalanza; Jasmine Xuereb (COORDINATION, 2020)

A Synthesis Tool for Optimal Monitors in a Branching-Time Setting. - Antonis Achilleos; Léo Exibard; Adrian Francalanza; Karoliina Lehtinen; Jasmine Xuereb (COORDINATION, 2022)

If At First You Don't Succeed: Extended Monitorability through Multiple Executions. - Antonis Achilleos; Adrian Francalanza; Jasmine Xuereb (CoRR, 2023)