Matches in SemOpenAlex for { <https://semopenalex.org/work/W3025668533> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3025668533 abstract "We demonstrate a unified approach to rigorous design of safety-critical autonomous systems using the VerifAI toolkit for formal analysis of AI-based systems. VerifAI provides an integrated toolchain for tasks spanning the design process, including modeling, falsification, debugging, and ML component retraining. We evaluate all of these applications in an industrial case study on an experimental autonomous aircraft taxiing system developed by Boeing, which uses a neural network to track the centerline of a runway. We define runway scenarios using the Scenic probabilistic programming language, and use them to drive tests in the X-Plane flight simulator. We first perform falsification, automatically finding environment conditions causing the system to violate its specification by deviating significantly from the centerline (or even leaving the runway entirely). Next, we use counterexample analysis to identify distinct failure cases, and confirm their root causes with specialized testing. Finally, we use the results of falsification and debugging to retrain the network, eliminating several failure cases and improving the overall performance of the closed-loop system." @default.
- W3025668533 created "2020-05-21" @default.
- W3025668533 creator A5019810653 @default.
- W3025668533 creator A5056894273 @default.
- W3025668533 creator A5064230639 @default.
- W3025668533 creator A5076798051 @default.
- W3025668533 creator A5081220831 @default.
- W3025668533 date "2020-05-14" @default.
- W3025668533 modified "2023-09-27" @default.
- W3025668533 title "Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI" @default.
- W3025668533 cites W1502364872 @default.
- W3025668533 cites W1506101803 @default.
- W3025668533 cites W2017001763 @default.
- W3025668533 cites W2026629052 @default.
- W3025668533 cites W2039287452 @default.
- W3025668533 cites W2240086230 @default.
- W3025668533 cites W2342249984 @default.
- W3025668533 cites W2467659428 @default.
- W3025668533 cites W2963207607 @default.
- W3025668533 cites W2963398918 @default.
- W3025668533 cites W2965660219 @default.
- W3025668533 cites W3023761398 @default.
- W3025668533 cites W3098394944 @default.
- W3025668533 hasPublicationYear "2020" @default.
- W3025668533 type Work @default.
- W3025668533 sameAs 3025668533 @default.
- W3025668533 citedByCount "0" @default.
- W3025668533 crossrefType "posted-content" @default.
- W3025668533 hasAuthorship W3025668533A5019810653 @default.
- W3025668533 hasAuthorship W3025668533A5056894273 @default.
- W3025668533 hasAuthorship W3025668533A5064230639 @default.
- W3025668533 hasAuthorship W3025668533A5076798051 @default.
- W3025668533 hasAuthorship W3025668533A5081220831 @default.
- W3025668533 hasConcept C118615104 @default.
- W3025668533 hasConcept C121332964 @default.
- W3025668533 hasConcept C154945302 @default.
- W3025668533 hasConcept C162838799 @default.
- W3025668533 hasConcept C166957645 @default.
- W3025668533 hasConcept C168065819 @default.
- W3025668533 hasConcept C168167062 @default.
- W3025668533 hasConcept C199360897 @default.
- W3025668533 hasConcept C2777062904 @default.
- W3025668533 hasConcept C2777904410 @default.
- W3025668533 hasConcept C33923547 @default.
- W3025668533 hasConcept C41008148 @default.
- W3025668533 hasConcept C44154836 @default.
- W3025668533 hasConcept C50644808 @default.
- W3025668533 hasConcept C81155309 @default.
- W3025668533 hasConcept C95457728 @default.
- W3025668533 hasConcept C97355855 @default.
- W3025668533 hasConcept C98045186 @default.
- W3025668533 hasConceptScore W3025668533C118615104 @default.
- W3025668533 hasConceptScore W3025668533C121332964 @default.
- W3025668533 hasConceptScore W3025668533C154945302 @default.
- W3025668533 hasConceptScore W3025668533C162838799 @default.
- W3025668533 hasConceptScore W3025668533C166957645 @default.
- W3025668533 hasConceptScore W3025668533C168065819 @default.
- W3025668533 hasConceptScore W3025668533C168167062 @default.
- W3025668533 hasConceptScore W3025668533C199360897 @default.
- W3025668533 hasConceptScore W3025668533C2777062904 @default.
- W3025668533 hasConceptScore W3025668533C2777904410 @default.
- W3025668533 hasConceptScore W3025668533C33923547 @default.
- W3025668533 hasConceptScore W3025668533C41008148 @default.
- W3025668533 hasConceptScore W3025668533C44154836 @default.
- W3025668533 hasConceptScore W3025668533C50644808 @default.
- W3025668533 hasConceptScore W3025668533C81155309 @default.
- W3025668533 hasConceptScore W3025668533C95457728 @default.
- W3025668533 hasConceptScore W3025668533C97355855 @default.
- W3025668533 hasConceptScore W3025668533C98045186 @default.
- W3025668533 hasLocation W30256685331 @default.
- W3025668533 hasOpenAccess W3025668533 @default.
- W3025668533 hasPrimaryLocation W30256685331 @default.
- W3025668533 hasRelatedWork W163636822 @default.
- W3025668533 hasRelatedWork W1873545903 @default.
- W3025668533 hasRelatedWork W1986146602 @default.
- W3025668533 hasRelatedWork W2026880077 @default.
- W3025668533 hasRelatedWork W2036051048 @default.
- W3025668533 hasRelatedWork W2066815304 @default.
- W3025668533 hasRelatedWork W2117158482 @default.
- W3025668533 hasRelatedWork W2123999028 @default.
- W3025668533 hasRelatedWork W2147945178 @default.
- W3025668533 hasRelatedWork W2166916140 @default.
- W3025668533 hasRelatedWork W2200002159 @default.
- W3025668533 hasRelatedWork W2234802471 @default.
- W3025668533 hasRelatedWork W2306533300 @default.
- W3025668533 hasRelatedWork W26428152 @default.
- W3025668533 hasRelatedWork W2753562921 @default.
- W3025668533 hasRelatedWork W2886229091 @default.
- W3025668533 hasRelatedWork W2891772614 @default.
- W3025668533 hasRelatedWork W3008542921 @default.
- W3025668533 hasRelatedWork W3009350142 @default.
- W3025668533 hasRelatedWork W3207949863 @default.
- W3025668533 isParatext "false" @default.
- W3025668533 isRetracted "false" @default.
- W3025668533 magId "3025668533" @default.
- W3025668533 workType "article" @default.