Nasim Baharisangari

According to our database, Nasim Baharisangari authored at least 9 papers between 2021 and 2023.

Collaborative distances:

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

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