31 citations · 38 across the 8 of their papers we have counts for
3 papers · 1 filter
Guided by Stars: Interpretable Concept Learning Over Time Series via Temporal Logic Semantics
Irene Ferfoglia, Simone Silvetti, Gaia Saveri +2
Time series classification is a task of paramount importance, as this kind of data often arises in safety-critical applications. However, it is typically tackled with black-box dee…
Towards Interpretable Concept Learning over Time Series via Temporal Logic Semantics
Irene Ferfoglia, Simone Silvetti, Gaia Saveri +2
Time series classification is a task of paramount importance, as this kind of data often arises in safety-critical applications. However, it is typically tackled with black-box dee…
Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
Anand Balakrishnan, Sheryl Paul, Simone Silvetti +2
Modern cyber-physical systems (CPS) can consist of various networked components and agents interacting and communicating with each other. In the context of spatially distributed CP…