50 citations · 80 across the 22 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…
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…
Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences
Zhe Xu, Yuxin Chen, Ufuk Topcu
Machine teaching is an algorithmic framework for teaching a target hypothesis via a sequence of examples or demonstrations. We investigate machine teaching for temporal logic formu…