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

TOTAL DOCUMENTS

10
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319973005, 9783319973012
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Adaptive Stress Testing of Safety-Critical Systems

2018 ◽  
pp. 77-95 ◽  
Author(s):  
Ritchie Lee ◽  
Ole J. Mengshoel ◽  
Mykel J. Kochenderfer
Keyword(s):  
Stress Testing ◽  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems

Efficient Statistical Validation of Autonomous Driving Systems

2018 ◽  
pp. 5-32 ◽  
Author(s):  
Handi Yu ◽  
Weijing Shi ◽  
Mohamed Baker Alawieh ◽  
Changhao Yan ◽  
Xuan Zeng ◽  
...  
Keyword(s):  
Autonomous Driving ◽  
Statistical Validation

scholarly journals Compositional Verification for Autonomous Systems with Deep Learning Components

2018 ◽  
pp. 187-197 ◽  
Author(s):  
Corina S. Păsăreanu ◽  
Divya Gopinath ◽  
Huafeng Yu
Keyword(s):  
Deep Learning ◽  
Autonomous Systems ◽  
Compositional Verification

Introduction

2018 ◽  
pp. 1-4
Author(s):  
Huafeng Yu ◽  
Xin Li ◽  
Richard M. Murray ◽  
S. Ramesh ◽  
Claire J. Tomlin

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

2018 ◽  
pp. 163-186 ◽  
Author(s):  
Bowen Zheng ◽  
Hengyi Liang ◽  
Zhilu Wang ◽  
Qi Zhu
Keyword(s):  
Cyber Physical Systems ◽  
Software Synthesis ◽  
Physical Systems ◽  
Safety Critical ◽  
Model Based
Load More ...
Sign in / Sign up

Export Citation Format

Share Document