( en | de | ru )

 

Disambiguation of "Hashemi, Navid"

Author of the publication

copydeleteadd this publication to your clipboard
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems.

, , , , , and . ICCPS, page 98-109. ACM, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Navid Ramezanian

Stäbchenförmigen Stäbchenförmige Moleküle mit Nitroxyl-Radikalen für die Untersuchung der molekularen Flexibilität. Uni Bielefeld, (2007)

Rozita Hashemi

Amir-Ali Navidy

Mojdeh Heidary Navid

Navid Khorshidi

 

Other publications of authors with the same name

Higher-Order Moment-Based Anomaly Detection., , , and . CoRR, (2020)Performance Bounds for Neural Network Estimators: Applications in Fault Detection., , and . ACC, page 3260-3266. IEEE, (2021)Convex Optimization-Based Policy Adaptation to Compensate for Distributional Shifts., , and . CDC, page 5376-5383. IEEE, (2023)Filtering Approaches for Dealing with Noise in Anomaly Detection., , , and . CDC, page 5356-5361. IEEE, (2019)A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems., , , , , and . ICCPS, page 98-109. ACM, (2023)Scaling Learning based Policy Optimization for Temporal Tasks via Dropout., , , , and . CoRR, (2024)Practical Detectors to Identify Worst-Case Attacks., , , and . CCTA, page 197-204. IEEE, (2022)Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization., , and . CoRR, (2020)Distributionally Robust Tuning of Anomaly Detectors in Cyber-Physical Systems with Stealthy Attacks., , , and . ACC, page 1247-1252. IEEE, (2020)Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives., , , , , , and . ACC, page 4096-4103. IEEE, (2023)