Leonardo Lima
PhD fellow
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
ORCID: 0000-0003-1701-0435
There is no presentation filled.
ID: 256822021
Most downloads
-
29
downloads
Explainable Online Monitoring of Metric Temporal Logic
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published