Sign in
Topography Relaxation in determining Unsafe State Intersections for Uncertain CPS
Journal article   Peer reviewed

Topography Relaxation in determining Unsafe State Intersections for Uncertain CPS

Subharthi Banerjee, Pejman Ghasemzadeh, Michael Hempel and Hamid Sharif
IEEE sensors letters, Vol.4(4), pp.1-1
01/04/2020

Abstract

CPS formal verification fuzzy human-in-the-loop Linguistics Probabilistic logic Reachability analysis Sensor systems Trajectory Uncertainty

Metrics

1 Record Views

Details