research
∙
06/23/2023
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams
We study a class of reinforcement learning (RL) tasks where the objectiv...
share
research
∙
06/16/2023
Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference
This paper addresses the problem of data-driven model discrimination for...
research
∙
12/02/2022
Learning Temporal Logic Properties: an Overview of Two Recent Methods
Learning linear temporal logic (LTL) formulas from examples labeled as p...
research
∙
09/06/2022
Learning Interpretable Temporal Properties from Positive Examples Only
We consider the problem of explaining the temporal behavior of black-box...
research
∙
09/16/2021
Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks
Extracting spatial-temporal knowledge from data is useful in many applic...
research
∙
05/24/2021