Leonardo Lima

Leonardo Lima

PhD fellow

ORCID: 0000-0003-1701-0435

Publication year:
All
1 - 1 out of 1Page size: 10
  1. 2023
  2. 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