2 citations · 6 across the 7 of their papers we have counts for
4 papers · 1 filter
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams
Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione +5
We study a class of reinforcement learning (RL) tasks where the objective of the agent is to accomplish temporally extended goals. In this setting, a common approach is to represen…
Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference
Zeyuan Jin, Nasim Baharisangari, Zhe Xu +1
This paper addresses the problem of data-driven model discrimination for unknown switched systems with unknown linear temporal logic (LTL) specifications, representing tasks, that…
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.…
Uncertainty-Aware Signal Temporal Logic Inference
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider +2
Temporal logic inference is the process of extracting formal descriptions of system behaviors from data in the form of temporal logic formulas. The existing temporal logic inferenc…