Navid Hashemi - RankMe

42 papers B 2C 6Journal 25Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Personalized Group Relative Policy Optimization for Heterogenous Preference Alignment. CoRR Jialu Wang, Heinrich Peters, Asad A. Butt, Navid Hashemi, Alireza Hashemi, Pouya M. Ghari, Joseph Hoover, James Rae, Morteza Dehghani
2025	—	`conf`	PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis. NeuS Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
2025	J	`jnl`	PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis. CoRR Navid Hashemi, Lars Lindemann, Jyotirmoy Deshmukh
2025	J	`jnl`	Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network. CoRR Navid Hashemi, Samuel Sasaki, Diego Manzanas Lopez, Ipek Oguz, Meiyi Ma, Taylor T. Johnson
2024	—	`conf`	LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers. ADHS Navid Hashemi, Samuel Williams, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
2024	B	`conf`	Sampling-Based and Gradient-Based Efficient Scenario Generation. RV Vidisha Kudalkar, Navid Hashemi, Shilpa Mukhopadhyay, Swapnil Mallick, Christof J. Budnik, Parinitha Nagaraja, Jyotirmoy V. Deshmukh
2024	J	`jnl`	Scaling Learning based Policy Optimization for Temporal Tasks via Dropout. CoRR Navid Hashemi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
2024	J	`jnl`	Scaling Learning-based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout. ACM Trans. Cyber Phys. Syst. Navid Hashemi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy V. Deshmukh
2024	J	`jnl`	Statistical Reachability Analysis of Stochastic Cyber-Physical Systems Under Distribution Shift. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
2024	J	`jnl`	Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift. CoRR Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
2023	J	`jnl`	A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems. CoRR Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
2023	—	`conf`	A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems. ICCPS Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
2023	J	`jnl`	Codesign for Resilience and Performance. IEEE Trans. Control. Netw. Syst. Navid Hashemi, Justin Ruths
2023	B	`conf`	Conformance Testing for Stochastic Cyber-Physical Systems. FMCAD Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
2023	J	`jnl`	Conformance Testing for Stochastic Cyber-Physical Systems. CoRR Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh
2023	—	`conf`	Convex Optimization-Based Policy Adaptation to Compensate for Distributional Shifts. CDC Navid Hashemi, Justin Ruths, Jyotirmoy V. Deshmukh
2023	J	`jnl`	Convex Optimization-based Policy Adaptation to Compensate for Distributional Shifts. CoRR Navid Hashemi, Justin Ruths, Jyotirmoy V. Deshmukh
2023	—	`conf`	Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference. CDC Navid Hashemi, Xin Qin, Lars Lindemann, Jyotirmoy V. Deshmukh
2023	J	`jnl`	Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference. CoRR Navid Hashemi, Xin Qin, Lars Lindemann, Jyotirmoy V. Deshmukh
2023	C	`conf`	Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. ACC Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi
2022	J	`jnl`	Higher-Order Moment-Based Anomaly Detection. IEEE Control. Syst. Lett. Venkatraman Renganathan, Navid Hashemi, Justin Ruths, Tyler H. Summers
2022	—	`conf`	Practical Detectors to Identify Worst-Case Attacks. CCTA David Umsonst, Navid Hashemi, Henrik Sandberg, Justin Ruths
2022	J	`jnl`	Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. CoRR Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi
2021	—	`conf`	Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization. L4DC Navid Hashemi, Justin Ruths, Mahyar Fazlyab
2021	J	`jnl`	Generalized Outer Bounds on the Finite Geometric Sum of Ellipsoids. CoRR Navid Hashemi, Justin Ruths
2021	C	`conf`	Performance Bounds for Neural Network Estimators: Applications in Fault Detection. ACC Navid Hashemi, Mahyar Fazlyab, Justin Ruths
2021	J	`jnl`	Performance Bounds for Neural Network Estimators: Applications in Fault Detection. CoRR Navid Hashemi, Mahyar Fazlyab, Justin Ruths
2020	J	`jnl`	Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization. CoRR Navid Hashemi, Justin Ruths, Mahyar Fazlyab
2020	J	`jnl`	Co-design for Security and Performance: Geometric Tools. CoRR Navid Hashemi, Justin Ruths
2020	C	`conf`	Distributionally Robust Tuning of Anomaly Detectors in Cyber-Physical Systems with Stealthy Attacks. ACC Venkatraman Renganathan, Navid Hashemi, Justin Ruths, Tyler H. Summers
2020	C	`conf`	Gain Design via LMIs to Minimize the Impact of Stealthy Attacks. ACC Navid Hashemi, Justin Ruths
2020	J	`jnl`	Higher-Order Moment-Based Anomaly Detection. CoRR Venkatraman Renganathan, Navid Hashemi, Justin Ruths, Tyler H. Summers
2020	J	`jnl`	Vibration transfer path analysis and path ranking for NVH optimization of a vehicle interior. CoRR Babak Sakhaei, Mohammad Durali, Navid Hashemi
2019	J	`jnl`	Distributionally Robust Tuning of Anomaly Detectors in Cyber-Physical Systems with Stealthy Attacks. CoRR Venkatraman Renganathan, Navid Hashemi, Justin Ruths, Tyler H. Summers
2019	—	`conf`	Filtering Approaches for Dealing with Noise in Anomaly Detection. CDC Navid Hashemi, Eduardo Verdugo German, Jonatan Pena Ramirez, Justin Ruths
2019	J	`jnl`	Filtering Approaches for Dealing with Noise in Anomaly Detection. CoRR Navid Hashemi, Eduardo Verdugo German, Jonatan Pena Ramirez, Justin Ruths
2019	J	`jnl`	Gain Design via LMIs to Minimize the Impact of Stealthy Attacks. CoRR Navid Hashemi, Justin Ruths
2019	C	`conf`	Generalized chi-squared detector for LTI systems with non-Gaussian noise. ACC Navid Hashemi, Justin Ruths
2019	J	`jnl`	Generalized chi-squared detector for LTI systems with non-Gaussian noise. CoRR Navid Hashemi, Justin Ruths
2018	C	`conf`	A Comparison of Stealthy Sensor Attacks on Control Systems. ACC Navid Hashemi, Carlos Murguia, Justin Ruths
2018	—	`conf`	Constraining Attackers and Enabling Operators via Actuation Limits. CDC Sahand Hadizadeh Kafash, Navid Hashemi, Carlos Murguia, Justin Ruths
2017	J	`jnl`	A Comparison of Stealthy Sensor Attacks on Control Systems. CoRR Navid Hashemi, Carlos Murguia, Justin Ruths