↓ 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
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Provably-Correct Compositional Synthesis of Vehicle Safety Systems
Chapter number 6
Book title
Safe, Autonomous and Intelligent Vehicles
Published by
Springer, Cham, January 2019
DOI 10.1007/978-3-319-97301-2_6
Book ISBNs
978-3-31-997300-5, 978-3-31-997301-2
Authors

Petter Nilsson, Necmiye Ozay, Nilsson, Petter, Ozay, Necmiye

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 6 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 6 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 33%
Unspecified 1 17%
Researcher 1 17%
Unknown 2 33%
Readers by discipline Count As %
Engineering 3 50%
Unspecified 1 17%
Unknown 2 33%

This page is provided by Altmetric.