Nasim Baharisangari

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 13

Top Topics

Satisfiability Problem

Bounded Model Checking

Mazurkiewicz Traces

Top Venues

IEEE Control. Syst. Lett.

Publications

Shayan Meshkat Alsadat, Nasim Baharisangari, Zhe Xu
Distributed on-the-fly control of multi-agent systems with unknown dynamics: Using limited data to obtain near-optimal control. L4DC (2024)
Zeyuan Jin, Nasim Baharisangari, Zhe Xu, Sze Zheng Yong
Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference. CoRR (2023)
Zhe Xu, Federico M. Zegers, Nasim Baharisangari, Bo Wu, Alexander J. Phillips, Warren E. Dixon, Ufuk Topcu
Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications. IEEE Access 11 (2023)
Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CoRR (2023)
Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CD-MAKE (2023)
Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
Learning Interpretable Temporal Properties from Positive Examples Only. AAAI (2023)
Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
Learning Interpretable Temporal Properties from Positive Examples Only. CoRR (2022)
Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan, Agung Julius, Zhe Xu
Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. IEEE Control. Syst. Lett. 6 (2022)
Nasim Baharisangari, Zhe Xu
Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications. CoRR (2022)
Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
Learning Temporal Logic Properties: an Overview of Two Recent Methods. CoRR (2022)
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
Uncertainty-Aware Signal Temporal logic. CoRR (2021)
Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan, Agung Julius, Zhe Xu
Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. CoRR (2021)
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
Uncertainty-Aware Signal Temporal Logic Inference. VSTTE (2021)