2 citations · 4 across the 3 of their papers we have counts for
4 papers
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…
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…