Author of the publication

Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems.

, , , , , , , and . Allerton, page 1-8. IEEE, (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.

 

Other publications of authors with the same name

The Construction of an Individual Credit Risk Assessment Method: Based on the Combination Algorithms., , and . ICICA (LNCS), volume 6377 of Lecture Notes in Computer Science, page 119-126. Springer, (2010)Design and implementation of ITS information acquisition system under IoS environment., , and . Int. J. Inf. Commun. Technol., 14 (2): 189-203 (2019)CSCNN: Algorithm-hardware Co-design for CNN Accelerators using Centrosymmetric Filters., , , and . HPCA, page 612-625. IEEE, (2021)MTMG: A Framework for Generating Adversarial Examples Targeting Multiple Learning-Based Malware Detection Systems., , , , , , , and . PRICAI (1), volume 14325 of Lecture Notes in Computer Science, page 249-261. Springer, (2022)Semi-supervised Short Text Classification Based On Dual-channel Data Augmentation., , and . IJCNN, page 1-8. IEEE, (2023)Persymmetric Detection of Subspace Signals Embedded in Subspace Interference and Gaussian Noise., , and . EUSIPCO, page 1926-1930. IEEE, (2020)CNN-based object detection solutions for embedded heterogeneous multicore SoCs., , , , , , and . ASP-DAC, page 105-110. IEEE, (2017)ShuntFlow: An Efficient and Scalable Dataflow Accelerator Architecture for Streaming Applications., , , , and . DAC, page 194. ACM, (2019)A retrospective evaluation of energy-efficient object detection solutions on embedded devices., , , , , and . DATE, page 709-714. IEEE, (2018)RiskCap: Minimizing Effort of Error Regulation for Approximate Computing., , , , , and . ATS, page 133-138. IEEE, (2018)