Login / Signup
Jasmine Xuereb
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 3
Top Topics
Simple Temporal
Special Case
Finding Optimal
Connectionist Models
Top Venues
COORDINATION
CoRR
</>
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)