E-LIB Suche - Ergebnisse für: Cheng, Chih-Hong

1

What, Indeed, is an Achievable Provable Guarantee for Learn..:

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,

Bensalem, Saddek ; Cheng, Chih-Hong ; Huang, Wei... - p. 55-76 , 2023

Link: https://doi.org/10.1007/..

2

Safeguarding Learning-based Control for Smart Energy System..:

, In: 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC),

Cheng, Chih-Hong ; Venkataramanan, Venkatesh Prasad ; Gupta, Pragya Kirti.. - p. 239-241 , 2023

Link: https://doi.org/10.1109/..

3

EvCenterNet: Uncertainty Estimation for Object Detection Us..:

, In: 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS),

Nallapareddy, Monish R. ; Sirohi, Kshitij ; Drews, Paulo L. J.... - p. 5699-5706 , 2023

Link: https://doi.org/10.1109/..

4

Runtime Monitoring DNN-Based Perception: (via the Lens of F..:

, In: Runtime Verification; Lecture Notes in Computer Science,

Cheng, Chih-Hong ; Luttenberger, Michael ; Yan, Rongjie - p. 428-446 , 2023

Link: https://doi.org/10.1007/..

5

Butterfly Effect Attack: Tiny and Seemingly Unrelated Pertu..:

, In: 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE),

Doan, Nguyen Anh Vu ; Yoksel, Arda ; Cheng, Chih-Hong - p. 1-6 , 2023

Link: https://doi.org/10.23919..

6

Sensing and Machine Learning for Automotive Perception: A R..:

Pandharipande, Ashish ; Cheng, Chih-Hong ; Dauwels, Justin...
IEEE Sensors Journal. 23 (2023) 11 - p. 11097-11115 , 2023

Link: https://doi.org/10.1109/..

7

Are Transformers More Robust? Towards Exact Robustness Veri..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,

Liao, Brian Hsuan-Cheng ; Cheng, Chih-Hong ; Esen, Hasan. - p. 89-103 , 2023

Link: https://doi.org/10.1007/..

8

Guest Editorial Special Issue on Sensing and Machine Learni..:

Santra, Avik ; Pandharipande, Ashish ; Wang, Pu Perry...
IEEE Sensors Journal. 23 (2023) 11 - p. 11116-11116 , 2023

Link: https://doi.org/10.1109/..

9

Potential-based Credit Assignment for Cooperative RL-based ..:

, In: 2023 International Joint Conference on Neural Networks (IJCNN),

Ayvaz, Utku ; Cheng, Chih-Hong ; Hao, Shen - p. 1-8 , 2023

Link: https://doi.org/10.1109/..

10

Prioritizing Corners in OoD Detectors via Symbolic String M..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Cheng, Chih-Hong ; Wu, Changshun ; Seferis, Emmanouil. - p. 397-413 , 2022

Link: https://doi.org/10.1007/..

11

Formally Compensating Performance Limitations for Imprecise..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,

Schuster, Tobias ; Seferis, Emmanouil ; Burton, Simon. - p. 269-283 , 2022

Link: https://doi.org/10.1007/..

12

Logically Sound Arguments for the Effectiveness of ML Safet..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops,

Cheng, Chih-Hong ; Schuster, Tobias ; Burton, Simon - p. 343-350 , 2022

Link: https://doi.org/10.1007/..

13

Formal Specification for Learning-Enabled Autonomous System:

, In: Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems,

Bensalem, Saddek ; Cheng, Chih-Hong ; Huang, Xiaowei... - p. 131-143 , 2022

Link: https://doi.org/10.1007/..

14

ComOpT: Combination and Optimization for Testing Autonomous..:

, In: 2022 International Conference on Robotics and Automation (ICRA),

Li, Changwen ; Cheng, Chih-Hong ; Sun, Tiantian.. - p. 7738-7744 , 2022

Link: https://doi.org/10.1109/..

15

Mixed-Neighborhood, Multi-speed Cellular Automata for Safet..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Dorff, Sebastian vom ; Cheng, Chih-Hong ; Esen, Hasan. - p. 501-520 , 2021

Link: https://doi.org/10.1007/..