Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Prioritizing Corners in OoD Detectors via Symbolic String Manipulation


May 16, 2022
Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Unaligned but Safe -- Formally Compensating Performance Limitations for Imprecise 2D Object Detection


Feb 10, 2022
Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Robustness Verification for Attention Networks using Mixed Integer Programming


Feb 08, 2022
Hsuan-Cheng Liao, Chih-Hong Cheng, Maximilian Kneissl, Alois Knoll

* Submitted to IROS 2022 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Logically Sound Arguments for the Effectiveness of ML Safety Measures


Nov 04, 2021
Chih-Hong Cheng, Tobias Schuster, Simon Burton


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

ComOpT: Combination and Optimization for Testing Autonomous Driving Systems


Oct 02, 2021
Changwen Li, Chih-Hong Cheng, Tiantian Sun, Yuhang Chen, Rongjie Yan


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Safety Metrics for Semantic Segmentation in Autonomous Driving


May 21, 2021
Chih-Hong Cheng, Alois Knoll, Hsuan-Cheng Liao


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions


Mar 29, 2021
Yuhang Chen, Chih-Hong Cheng, Jun Yan, Rongjie Yan

* Work in progress report 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Testing Autonomous Systems with Believed Equivalence Refinement


Mar 08, 2021
Chih-Hong Cheng, Rongjie Yan


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Provably-Robust Runtime Monitoring of Neuron Activation Patterns


Nov 24, 2020
Chih-Hong Cheng

* Work-in-progress report 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Continuous Safety Verification of Neural Networks


Oct 12, 2020
Chih-Hong Cheng, Rongjie Yan

* work-in-progress report; 10 pages 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email
1
2
3
>>