Leonardo Lima
PhD fellow
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
ORCID: 0000-0003-1701-0435
1 - 2 out of 2Page size: 10
- 2024
- Published
Explainable Online Monitoring of Metric First-Order Temporal Logic
Lima, Leonardo, Huerta y Munive, J. J. & Traytel, Dmitriy, 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (eds.). Springer, p. 288-307 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14570 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2023
- Published
Explainable Online Monitoring of Metric Temporal Logic
Lima, Leonardo, Herasimau, A., Raszyk, M., Traytel, Dmitriy & Yuan, S., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer, p. 473-491 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13994 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
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