10 citations · 10 across the 2 of their papers we have counts for
2 papers
cs.SE2021
Quantitative Verification with Adaptive Uncertainty Reduction
Naif Alasmari, Radu Calinescu, Colin Paterson +1
Stochastic models are widely used to verify whether systems satisfy their reliability, performance and other nonfunctional requirements. However, the validity of the verification d…
cs.RO2021★ 10 cited
Maintaining driver attentiveness in shared-control autonomous driving
Radu Calinescu, Naif Alasmari, Mario Gleirscher
We present a work-in-progress approach to improving driver attentiveness in cars provided with automated driving systems. The approach is based on a control loop that monitors the…