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

Safe, Autonomous and Intelligent Vehicles

Overview of attention for book
Cover of 'Safe, Autonomous and Intelligent Vehicles'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction
  3. Altmetric Badge
    Chapter 2 Efficient Statistical Validation of Autonomous Driving Systems
  4. Altmetric Badge
    Chapter 3 Cyberattack-Resilient Hybrid Controller Design with Application to UAS
  5. Altmetric Badge
    Chapter 4 Control and Safety of Autonomous Vehicles with Learning-Enabled Components
  6. Altmetric Badge
    Chapter 5 Adaptive Stress Testing of Safety-Critical Systems
  7. Altmetric Badge
    Chapter 6 Provably-Correct Compositional Synthesis of Vehicle Safety Systems
  8. Altmetric Badge
    Chapter 7 Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems
  9. Altmetric Badge
    Chapter 8 Adaptation of Human Licensing Examinations to the Certification of Autonomous Systems
  10. Altmetric Badge
    Chapter 9 Model-Based Software Synthesis for Safety-Critical Cyber-Physical Systems
  11. Altmetric Badge
    Chapter 10 Compositional Verification for Autonomous Systems with Deep Learning Components
Attention for Chapter 6: Provably-Correct Compositional Synthesis of Vehicle Safety Systems
Altmetric Badge

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
6 Mendeley
Summary Dimensions citations
So far, Dimensions has found 6 publications that cite this research output.

6

The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.