Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study

Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study

6 February 2023

Sinem Getir Yaman

Papers citing "Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study"

19 / 19 papers shown

Title
Scenario-based Compositional Verification of Autonomous Systems with Neural Perception Christopher Watson Rajeev Alur Divya Gopinath Ravi Mangal C. Păsăreanu 53 0 0 29 Apr 2025
Four Principles for Physically Interpretable World Models Jordan Peper Zhenjiang Mao Yuang Geng Siyuan Pan Ivan Ruchkin 105 1 0 04 Mar 2025
Online Controller Synthesis for Robot Collision Avoidance: A Case Study Yuheng Fan Wang Lin 38 0 0 08 Feb 2025
Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems Jan Gruteser Jan Roßbach Fabian Vu Michael Leuschel 62 0 0 21 Nov 2024
Pre-Trained Vision Models as Perception Backbones for Safety Filters in Autonomous Driving Yuxuan Yang Hussein Sibai 44 2 0 29 Oct 2024
AssistTaxi: A Comprehensive Dataset for Taxiway Analysis and Autonomous Operations Parth Ganeriwala S. Bhattacharyya Sean Gunther Brian Kish Mohammed Abdul Hafeez Khan Ankur Dhadoti Natasha A. Neogi 21 1 0 10 Sep 2024
System Safety Monitoring of Learned Components Using Temporal Metric Forecasting Sepehr Sharifi Andrea Stocco Lionel C. Briand AI4TS 40 1 0 21 May 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 24 18 0 20 Feb 2024
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks Haoze Wu Omri Isac Aleksandar Zeljić Teruhiro Tagomori M. Daggitt ... Min Wu Min Zhang Ekaterina Komendantskaya Guy Katz Clark W. Barrett 31 30 0 25 Jan 2024
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs M. Daggitt Wen Kokke R. Atkey Natalia Slusarz Luca Arnaboldi Ekaterina Komendantskaya NAI 26 10 0 12 Jan 2024
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems Srajan Goyal A. Griggio Jacob Kimblad S. Tonetta 28 4 0 16 Nov 2023
Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing Yangge Li Benjamin C Yang Yixuan Jia Daniel Zhuang Sayan Mitra 27 4 0 15 Nov 2023
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers Yuang Geng Jake Brandon Baldauf Souradeep Dutta Chao Huang Ivan Ruchkin 30 5 0 08 Nov 2023
$Is Certifying $\ell_p$ Robustness Still Worthwhile?$ Is Certifying $\ell_p$ Robustness Still Worthwhile? Ravi Mangal Klas Leino Zifan Wang Kai Hu Weicheng Yu Corina S. Pasareanu Anupam Datta Matt Fredrikson AAML OOD 25 1 0 13 Oct 2023
Assumption Generation for the Verification of Learning-Enabled Autonomous Systems C. Păsăreanu Ravi Mangal D. Gopinath Huafeng Yu AAML 22 2 0 27 May 2023
Assuring Safety of Vision-Based Swarm Formation Control Chiao Hsieh Yubin Koh Yangge Li Sayan Mitra 13 4 0 03 Oct 2022
Globally-Robust Neural Networks Klas Leino Zifan Wang Matt Fredrikson AAML OOD 80 125 0 16 Feb 2021
DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks D. Gopinath Guy Katz C. Păsăreanu Clark W. Barrett AAML 42 87 0 02 Oct 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 931 0 21 Oct 2016