13 citations · 21 across the 4 of their papers we have counts for
4 papers
Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description
Ruixuan Yan, Tengfei Ma, Achille Fokoue +2
Most existing Time series classification (TSC) models lack interpretability and are difficult to inspect. Interpretable machine learning models can aid in discovering patterns in d…
Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks
Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan +2
Extracting spatial-temporal knowledge from data is useful in many applications. It is important that the obtained knowledge is human-interpretable and amenable to formal analysis.…
Neural Network for Weighted Signal Temporal Logic
Ruixuan Yan, Agung Julius
In this paper, we propose a neuro-symbolic framework called weighted Signal Temporal Logic Neural Network (wSTL-NN) that combines the characteristics of neural networks and tempora…
Distributed Monitoring of Robot Swarms with Swarm Signal Temporal Logic
Ruixuan Yan, Agung Julius
In this paper, we develop a distributed monitoring framework for robot swarms so that the agents can monitor whether the executions of robot swarms satisfy Swarm Signal Temporal Lo…