Leonardo Lima
Ph.d.-stipendiat
Software, Data, People & Society
Sigurdsgade 41
2200 København N.
ORCID: 0000-0003-1701-0435
1 - 1 ud af 1Pr. side: 10
- 2024
- Udgivet
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. (red.). Springer, s. 288-307 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14570 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 256822021
Flest downloads
-
16
downloads
Explainable Online Monitoring of Metric Temporal Logic
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet