Leonardo Lima
Ph.d.-stipendiat
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
ORCID: 0000-0003-1701-0435
Der er ikke udfyldt nogen præsentation.
ID: 256822021
Flest downloads
-
14
downloads
Explainable Online Monitoring of Metric Temporal Logic
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet