Naif Alasmari | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Radu Calinescu
25 publications
Mario Gleirscher
24 publications
Colin Paterson
11 publications
Raffaela Mirandola
5 publications

research

∙ 09/07/2021

Quantitative Verification with Adaptive Uncertainty Reduction

Stochastic models are widely used to verify whether systems satisfy thei...

0 Naif Alasmari, et al. ∙

research

∙ 02/05/2021

Maintaining driver attentiveness in shared-control autonomous driving

We present a work-in-progress approach to improving driver attentiveness...

0 Radu Calinescu, et al. ∙

Success!

An error occurred