Personal information

Activities

Collapse all

Works (4)

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems Under Distribution Shift

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2024-11 | Journal article
DOI: 10.1109/TCAD.2024.3438072
Contributors: Navid Hashemi; Lars Lindemann; Jyotirmoy V. Deshmukh
Source: check_circle
Crossref

Scaling Learning-based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout

ACM Transactions on Cyber-Physical Systems
2024-10-31 | Journal article
DOI: 10.1145/3696112
Contributors: Navid Hashemi; Bardh Hoxha; Danil Prokhorov; Georgios Fainekos; Jyotirmoy V. Deshmukh
Source: check_circle
Crossref

Codesign for Resilience and Performance

IEEE Transactions on Control of Network Systems
2023-09 | Journal article
DOI: 10.1109/TCNS.2022.3229774
Contributors: Navid Hashemi; Justin Ruths
Source: check_circle
Crossref

A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems

2023-05-09 | Conference paper
DOI: 10.1145/3576841.3585928
Contributors: Navid Hashemi; Bardh Hoxha; Tomoya Yamaguchi; Danil Prokhorov; Georgios Fainekos; Jyotirmoy Deshmukh
Source: check_circle
Crossref
How many people are using ORCID?