2 citations · 6 across the 7 of their papers we have counts for
8 papers
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…
Learning Temporal Logic Properties: an Overview of Two Recent Methods
Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari +3
Learning linear temporal logic (LTL) formulas from examples labeled as positive or negative has found applications in inferring descriptions of system behavior. We summarize two me…
Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications
Nasim Baharisangari, Zhe Xu
In this paper, we propose a distributed differentially private receding horizon control (RHC) approach for multi-agent systems (MAS) with metric temporal logic (MTL) specifications…
Learning Interpretable Temporal Properties from Positive Examples Only
Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari +3
We consider the problem of explaining the temporal behavior of black-box systems using human-interpretable models. To this end, based on recent research trends, we rely on the fund…
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…
Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications
Zhe Xu, Federico M. Zegers, Bo Wu +3
This paper investigates the controller synthesis problem for a multi-agent system (MAS) with intermittent communication. We adopt a relay-explorer scheme, where a mobile relay agen…