Nasim Baharisangari

18 papers A* 2C 4Journal 9Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	A Logic-Based Approach to Causal Discovery: Signal Temporal Logic Perspective. IJCAI Nasim Baharisangari, Yucheng Ruan, Chengcheng Zhao, Zhe Xu
2024	C	`conf`	Counterfactually-Guided Causal Reinforcement Learning with Reward Machines. ACC Nasim Baharisangari, Yash Paliwal, Zhe Xu
2024	C	`conf`	Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications. ACC Nasim Baharisangari, Narendhiran Saravanane, Zhe Xu
2024	C	`conf`	Distributed Reinforcement Learning For Swarm Systems With Reward Machines. ACC Shayan Meshkat Alsadat, Nasim Baharisangari, Yash Paliwal, Zhe Xu
2024	—	`conf`	Distributed on-the-fly control of multi-agent systems with unknown dynamics: Using limited data to obtain near-optimal control. L4DC Shayan Meshkat Alsadat, Nasim Baharisangari, Zhe Xu
2024	—	`conf`	Temporal-Logic-Based Causal Fairness Analysis. CDC Nasim Baharisangari, Anirudh Pydah, Shiyou Wu, Zhe Xu
2023	J	`jnl`	Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications. IEEE Access Zhe Xu, Federico M. Zegers, Nasim Baharisangari, Bo Wu, Alexander J. Phillips, Warren E. Dixon, Ufuk Topcu
2023	J	`jnl`	Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference. CoRR Zeyuan Jin, Nasim Baharisangari, Zhe Xu, Sze Zheng Yong
2023	A*	`conf`	Learning Interpretable Temporal Properties from Positive Examples Only. AAAI Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2023	C	`conf`	Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CD-MAKE Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
2023	J	`jnl`	Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CoRR Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
2022	J	`jnl`	Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications. CoRR Nasim Baharisangari, Zhe Xu
2022	J	`jnl`	Learning Interpretable Temporal Properties from Positive Examples Only. CoRR Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2022	J	`jnl`	Learning Temporal Logic Properties: an Overview of Two Recent Methods. CoRR Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2022	J	`jnl`	Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. IEEE Control. Syst. Lett. Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan, Agung Julius, Zhe Xu
2021	—	`conf`	Uncertainty-Aware Signal Temporal Logic Inference. VSTTE Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
2021	J	`jnl`	Uncertainty-Aware Signal Temporal logic. CoRR Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
2021	J	`jnl`	Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. CoRR Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan, Agung Julius, Zhe Xu