Author of the publication

Formal Specification for Deep Neural Networks.

, , , , , , , , and . ATVA, volume 11138 of Lecture Notes in Computer Science, page 20-34. Springer, (2018)

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

SqueezeSegV2: Improved Model Structure and Unsupervised Domain Adaptation for Road-Object Segmentation from a LiDAR Point Cloud., , , , and . ICRA, page 4376-4382. IEEE, (2019)MADAN: Multi-source Adversarial Domain Aggregation Network for Domain Adaptation., , , , , and . Int. J. Comput. Vis., 129 (8): 2399-2424 (2021)Space Engage: Collaborative Space Supervision for Contrastive-based Semi-Supervised Semantic Segmentation., , , , and . ICCV, page 931-942. IEEE, (2023)3D Environment Modeling for Falsification and Beyond with Scenic 3.0., , , , , , , , , and . CAV (1), volume 13964 of Lecture Notes in Computer Science, page 253-265. Springer, (2023)Curriculum CycleGAN for Textual Sentiment Domain Adaptation with Multiple Sources., , , , , , , and . WWW, page 541-552. ACM / IW3C2, (2021)Shift: A Zero FLOP, Zero Parameter Alternative to Spatial Convolutions., , , , , , , , and . CVPR, page 9127-9135. Computer Vision Foundation / IEEE Computer Society, (2018)Emotional Semantics-Preserved and Feature-Aligned CycleGAN for Visual Emotion Adaptation., , , , , , , , , and . IEEE Trans. Cybern., 52 (10): 10000-10013 (2022)Scenic: a language for scenario specification and data generation., , , , , , and . Mach. Learn., 112 (10): 3805-3849 (October 2023)Online Vectorized HD Map Construction using Geometry., , , , and . CoRR, (2023)Conditional Synthetic Data Generation for Robust Machine Learning Applications with Limited Pandemic Data., , , , , , and . CoRR, (2021)