Safe, Autonomous and Intelligent Vehicles - Unmanned System Technologies
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319973005, 9783319973012

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems

Safe, Autonomous and Intelligent Vehicles - Unmanned System Technologies ◽

10.1007/978-3-319-97301-2_7 ◽

2018 ◽

pp. 123-144 ◽

Cited By ~ 3

Author(s):

Weiming Xiang ◽

Diego Manzanas Lopez ◽

Patrick Musau ◽

Taylor T. Johnson

Keyword(s):

Neural Network ◽

Dynamic Systems ◽

Nonlinear Dynamic ◽

Network Models ◽

Reachable Set ◽

Nonlinear Dynamic Systems ◽

Neural Network Models ◽

Set Estimation ◽

Reachable Set Estimation

Download Full-text

Adaptive Stress Testing of Safety-Critical Systems

Safe, Autonomous and Intelligent Vehicles - Unmanned System Technologies ◽

10.1007/978-3-319-97301-2_5 ◽

2018 ◽

pp. 77-95 ◽

Cited By ~ 1

Author(s):

Ritchie Lee ◽

Ole J. Mengshoel ◽

Mykel J. Kochenderfer

Keyword(s):

Stress Testing ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Efficient Statistical Validation of Autonomous Driving Systems

Safe, Autonomous and Intelligent Vehicles - Unmanned System Technologies ◽

10.1007/978-3-319-97301-2_2 ◽

2018 ◽

pp. 5-32 ◽

Cited By ~ 1

Author(s):

Handi Yu ◽

Weijing Shi ◽

Mohamed Baker Alawieh ◽

Changhao Yan ◽

Xuan Zeng ◽

...

Keyword(s):

Autonomous Driving ◽

Statistical Validation

Download Full-text

Cyberattack-Resilient Hybrid Controller Design with Application to UAS

Safe, Autonomous and Intelligent Vehicles - Unmanned System Technologies ◽

10.1007/978-3-319-97301-2_3 ◽

2018 ◽

pp. 33-56

Author(s):

Cheolhyeon Kwon ◽

Inseok Hwang

Keyword(s):

Controller Design ◽

Hybrid Controller

Download Full-text

Control and Safety of Autonomous Vehicles with Learning-Enabled Components

Safe, Autonomous and Intelligent Vehicles - Unmanned System Technologies ◽

10.1007/978-3-319-97301-2_4 ◽

2018 ◽

pp. 57-75

Author(s):

Somil Bansal ◽

Claire J. Tomlin

Keyword(s):

Autonomous Vehicles

Download Full-text

Compositional Verification for Autonomous Systems with Deep Learning Components

Safe, Autonomous and Intelligent Vehicles - Unmanned System Technologies ◽

10.1007/978-3-319-97301-2_10 ◽

2018 ◽

pp. 187-197 ◽

Cited By ~ 1

Author(s):

Corina S. Păsăreanu ◽

Divya Gopinath ◽

Huafeng Yu

Keyword(s):

Deep Learning ◽

Autonomous Systems ◽

Compositional Verification

Download Full-text

Introduction

Safe, Autonomous and Intelligent Vehicles - Unmanned System Technologies ◽

10.1007/978-3-319-97301-2_1 ◽

2018 ◽

pp. 1-4

Author(s):

Huafeng Yu ◽

Xin Li ◽

Richard M. Murray ◽

S. Ramesh ◽

Claire J. Tomlin

Download Full-text

Model-Based Software Synthesis for Safety-Critical Cyber-Physical Systems

Safe, Autonomous and Intelligent Vehicles - Unmanned System Technologies ◽

10.1007/978-3-319-97301-2_9 ◽

2018 ◽

pp. 163-186 ◽

Cited By ~ 1

Author(s):

Bowen Zheng ◽

Hengyi Liang ◽

Zhilu Wang ◽

Qi Zhu

Keyword(s):

Cyber Physical Systems ◽

Software Synthesis ◽

Physical Systems ◽

Safety Critical ◽

Model Based

Download Full-text

Provably-Correct Compositional Synthesis of Vehicle Safety Systems

Safe, Autonomous and Intelligent Vehicles - Unmanned System Technologies ◽

10.1007/978-3-319-97301-2_6 ◽

2018 ◽

pp. 97-122 ◽

Cited By ~ 1

Author(s):

Petter Nilsson ◽

Necmiye Ozay

Keyword(s):

Vehicle Safety ◽

Safety Systems ◽

Compositional Synthesis

Download Full-text

Adaptation of Human Licensing Examinations to the Certification of Autonomous Systems

Safe, Autonomous and Intelligent Vehicles - Unmanned System Technologies ◽

10.1007/978-3-319-97301-2_8 ◽

2018 ◽

pp. 145-162 ◽

Cited By ~ 2

Author(s):

M. L. Cummings

Keyword(s):

Autonomous Systems ◽

Licensing Examinations

Download Full-text

Safe, Autonomous and Intelligent Vehicles - Unmanned System TechnologiesLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems

Adaptive Stress Testing of Safety-Critical Systems

Efficient Statistical Validation of Autonomous Driving Systems

Cyberattack-Resilient Hybrid Controller Design with Application to UAS

Control and Safety of Autonomous Vehicles with Learning-Enabled Components

Compositional Verification for Autonomous Systems with Deep Learning Components

Introduction

Model-Based Software Synthesis for Safety-Critical Cyber-Physical Systems

Provably-Correct Compositional Synthesis of Vehicle Safety Systems

Adaptation of Human Licensing Examinations to the Certification of Autonomous Systems

Safe, Autonomous and Intelligent Vehicles - Unmanned System Technologies
Latest Publications