Uncertainty-Aware Signal Temporal Logic Inference. - Nasim Baharisangari; Jean-Raphaël Gaglione; Daniel Neider; Ufuk Topcu; Zhe Xu 005 (VSTTE, 2021)

Uncertainty-Aware Signal Temporal logic. - Nasim Baharisangari; Jean-Raphaël Gaglione; Daniel Neider; Ufuk Topcu; Zhe Xu 005 (CoRR, 2021)

Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications. - Nasim Baharisangari; Zhe Xu 005 (CoRR, 2022)

Learning Temporal Logic Properties: an Overview of Two Recent Methods. - Jean-Raphaël Gaglione; Rajarshi Roy 002; Nasim Baharisangari; Daniel Neider; Zhe Xu 005; Ufuk Topcu (CoRR, 2022)

Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. - Nasim Baharisangari; Kazuma Hirota; Ruixuan Yan; Agung Julius; Zhe Xu 005 (IEEE Control. Syst. Lett., 2022)

Learning Interpretable Temporal Properties from Positive Examples Only. - Rajarshi Roy 002; Jean-Raphaël Gaglione; Nasim Baharisangari; Daniel Neider; Zhe Xu 005; Ufuk Topcu (AAAI, 2023)

Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. - Yash Paliwal; Rajarshi Roy 002; Jean-Raphaël Gaglione; Nasim Baharisangari; Daniel Neider; Xiaoming Duan; Ufuk Topcu; Zhe Xu 005 (CD-MAKE, 2023)

Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications. - Zhe Xu 005; Federico M. Zegers; Nasim Baharisangari; Bo Wu 005; Alexander J. Phillips; Warren E. Dixon; Ufuk Topcu (IEEE Access, 2023)

Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference. - Zeyuan Jin; Nasim Baharisangari; Zhe Xu 005; Sze Zheng Yong (CoRR, 2023)

Distributed Reinforcement Learning For Swarm Systems With Reward Machines. - Shayan Meshkat Alsadat; Nasim Baharisangari; Yash Paliwal; Zhe Xu 005 (ACC, 2024)

Counterfactually-Guided Causal Reinforcement Learning with Reward Machines. - Nasim Baharisangari; Yash Paliwal; Zhe Xu 005 (ACC, 2024)

Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications. - Nasim Baharisangari; Narendhiran Saravanane; Zhe Xu 005 (ACC, 2024)

Temporal-Logic-Based Causal Fairness Analysis. - Nasim Baharisangari; Anirudh Pydah; Shiyou Wu; Zhe Xu 005 (CDC, 2024)

Distributed on-the-fly control of multi-agent systems with unknown dynamics: Using limited data to obtain near-optimal control. - Shayan Meshkat Alsadat; Nasim Baharisangari; Zhe Xu 005 (L4DC, 2024)