↓ Skip to main content
What is this page? Embed badge

NASA Formal Methods

Overview of attention for book
NASA Formal Methods
Springer International Publishing

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 12 The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS
  3. Altmetric Badge
    Chapter 15 Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability
Attention for Chapter 15: Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability
Altmetric Badge

About this Attention Score

  • Above-average Attention Score compared to outputs of the same age (58th percentile)
  • High Attention Score compared to outputs of the same age and source (82nd percentile)

Mentioned by

twitter
5 X users
Summary X

This page is provided by Altmetric.