Nasim Baharisangari

According to our database, Nasim Baharisangari authored at least 14 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

Temporal-Logic-Based Causal Fairness Analysis.

Nasim Baharisangari, Anirudh Pydah, Shiyou Wu, Zhe Xu

Proceedings of the 63rd IEEE Conference on Decision and Control, 2024

Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications.

Nasim Baharisangari, Narendhiran Saravanane, Zhe Xu

Proceedings of the American Control Conference, 2024

Counterfactually-Guided Causal Reinforcement Learning with Reward Machines.

Nasim Baharisangari, Yash Paliwal, Zhe Xu

Proceedings of the American Control Conference, 2024

Distributed Reinforcement Learning For Swarm Systems With Reward Machines.

Shayan Meshkat Alsadat, Nasim Baharisangari, Yash Paliwal, Zhe Xu

Proceedings of the American Control Conference, 2024

2023

Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference.

Zeyuan Jin, Nasim Baharisangari, Zhe Xu, Sze Zheng Yong

CoRR, 2023

Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications.

Zhe Xu, Federico M. Zegers, Nasim Baharisangari, Bo Wu, Alexander J. Phillips, Warren E. Dixon, Ufuk Topcu

IEEE Access, 2023

Reinforcement Learning with Temporal-Logic-Based Causal Diagrams.

Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu

Proceedings of the Machine Learning and Knowledge Extraction, 2023

Learning Interpretable Temporal Properties from Positive Examples Only.

Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks.

Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan, Agung Julius, Zhe Xu

IEEE Control. Syst. Lett., 2022

Learning Temporal Logic Properties: an Overview of Two Recent Methods.

Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu

CoRR, 2022

Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications.

Nasim Baharisangari, Zhe Xu

CoRR, 2022

2021

Uncertainty-Aware Signal Temporal logic.

Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu

CoRR, 2021

Uncertainty-Aware Signal Temporal Logic Inference.

Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu

Proceedings of the Software Verification - 13th International Conference, 2021