Jasmine Xuereb

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 3

Top Topics

Simple Temporal

Finding Optimal

Connectionist Models

Top Venues

Publications

Antonis Achilleos, Adrian Francalanza, Jasmine Xuereb
If At First You Don't Succeed: Extended Monitorability through Multiple Executions. CoRR (2023)
Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb
A Synthesis Tool for Optimal Monitors in a Branching-Time Setting. COORDINATION (2022)
Adrian Francalanza, Jasmine Xuereb
On Implementing Symbolic Controllability. COORDINATION (2020)