ROBUST: 221 Bugs in the Robot Operating System

4 April 2024

Papers citing "ROBUST: 221 Bugs in the Robot Operating System"

7 / 7 papers shown

Title
PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems Sayali Kate Michael Chinn Hongjun Choi Xinming Zhang Sebastian G. Elbaum 13 4 0 21 Jun 2021
GzScenic: Automatic Scene Generation for Gazebo Simulator Afsoon Afzal Claire Le Goues C. Timperley 34 4 0 17 Apr 2021
The High-Assurance ROS Framework A. Santos Alcino Cunha Nuno Macedo 26 12 0 02 Mar 2021
Taxonomy of Real Faults in Deep Learning Systems Nargiz Humbatova Gunel Jahangirova Gabriele Bavota Vincenzo Riccio Andrea Stocco Paolo Tonella 81 268 0 24 Oct 2019
A Comprehensive Study on Deep Learning Bug Characteristics Md Johirul Islam Giang Nguyen Rangeet Pan Hridesh Rajan ELM 44 299 0 03 Jun 2019
Scenic: A Language for Scenario Specification and Scene Generation Daniel J. Fremont T. Dreossi Shromona Ghosh Xiangyu Yue Alberto L. Sangiovanni-Vincentelli Sanjit A. Seshia 64 256 0 25 Sep 2018
Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning Jun Inoue Yoriyuki Yamagata Yuqi Chen Christopher M. Poskitt Jun Sun 61 254 0 15 Sep 2017