1 citations · 2 across the 5 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.LO2024
TLINet: Differentiable Neural Network Temporal Logic Inference
Danyang Li, Mingyu Cai, Cristian-Ioan Vasile +1
There has been a growing interest in extracting formal descriptions of the system behaviors from data. Signal Temporal Logic (STL) is an expressive formal language used to describe…
stat.ML2024★ 1 cited
Multi-class Temporal Logic Neural Networks
Danyang Li, Roberto Tron
Time-series data can represent the behaviors of autonomous systems, such as drones and self-driving cars. The task of binary and multi-class classification for time-series data has…
cs.LG2024★ 1 cited
Interpretable Imitation Learning via Generative Adversarial STL Inference and Control
Wenliang Liu, Danyang Li, Erfan Aasi +3
Imitation learning methods have demonstrated considerable success in teaching autonomous systems complex tasks through expert demonstrations. However, a limitation of these methods…