activity
20242026
most citedInterpretable Imitation Learning via Generative Adversarial STL Inference and Control

1 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 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…