104 citations · 447 across the 17 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.SE2021★ 10 cited
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty
Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo +3
Formal reasoning on the safety of controller systems interacting with plants is complex because developers need to specify behavior while taking into account perceptual uncertainty…
cs.LG2021
The missing link: Developing a safety case for perception components in automated driving
Rick Salay, Krzysztof Czarnecki, Hiroshi Kuwajima +6
Safety assurance is a central concern for the development and societal acceptance of automated driving (AD) systems. Perception is a key aspect of AD that relies heavily on Machine…