77 citations · 187 across the 16 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2022
Learning Signal Temporal Logic through Neural Network for Interpretable Classification
Danyang Li, Mingyu Cai, Cristian-Ioan Vasile +1
Machine learning techniques using neural networks have achieved promising success for time-series data classification. However, the models that they produce are challenging to veri…
cs.FL2020★ 24 cited
Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction
Mingyu Cai, Shaoping Xiao, Baoluo Li +2
This paper presents a model-free reinforcement learning (RL) algorithm to synthesize a control policy that maximizes the satisfaction probability of linear temporal logic (LTL) spe…