Login / Signup
Leonardo Lima
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Decision Support
Monitoring System
Virtual Communities
Metric Temporal Logic
Top Venues
TACAS (2)
</>
Publications
</>
Leonardo Lima
,
Andrei Herasimau
,
Martin Raszyk
,
Dmitriy Traytel
,
Simon Yuan
Explainable Online Monitoring of Metric Temporal Logic.
TACAS (2)
(2023)