Feb 6, 2023 · We present a case study applying formal probabilistic analysis techniques to an experimental autonomous system that guides airplanes on taxiways ...
Jul 17, 2023 · We present a case study applying formal probabilistic analysis techniques to an experimental autonomous system that guides airplanes on taxiways ...
This work replaces the camera and the network with a compact probabilistic abstraction built from the confusion matrices computed for the DNN on a ...
We present a case study applying formal probabilistic analysis techniques to an experimen- tal autonomous system that guides airplanes on taxiways using a ...
May 15, 2024 · ... systems. Link to paper: "Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study" https://arxiv.org/abs/2302.04634 Ravi's ...
View recent discussion. Abstract: Deep neural networks (DNNs) are increasingly used in safety-critical autonomous systems as perception components ...
Feb 6, 2023 · We present a case study applying formal probabilistic analysis techniques to an experimental autonomous system that guides airplanes on taxiways ...
Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study ; ISSN · 1611-3349, ; ISBN · 9783031377051 ; Any de publicació · 2023 ; Volum · 13964 LNCS.
Mar 17, 2023 · In this work, we cast the problem of finding closed-loop vision failures as a Hamilton-Jacobi (HJ) reachability problem.