Leonardo Lima

Leonardo Lima

Ph.d.-stipendiat

ORCID: 0000-0003-1701-0435

Udgivelsesår:
Alle
1 - 2 ud af 2Pr. side: 10
Sortering: Udgivelsesdato
  1. 2024
  2. 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

  3. 2023
  4. Udgivet

    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. (red.). Springer, s. 473-491 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13994 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

ID: 256822021