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

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

ComOpT: Combination and Optimization for Testing Autonomous Driving Systems


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

Add code


   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

Add code

* 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

Add code


   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

Add code

* 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

Architecting Dependable Learning-enabled Autonomous Systems: A Survey


Feb 27, 2019
Chih-Hong Cheng, Dhiraj Gulati, Rongjie Yan

Add code


   Access Paper or Ask Questions

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

A Verifiable and Correct-by-Construction Controller for Robot Functional Levels


Sep 02, 2013
Saddek Bensalem, Lavindra de Silva, Félix Ingrand, Rongjie Yan

Add code

* Journal of Software Engineering for Robotics, 2(1), September 2011, pages 1-19 

   Access Paper or Ask Questions

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