Alasmari, Naif
- Quantitative Verification with Adaptive Uncertainty Reduction
2021/09/07 by Naif Alasmari, Radu Călinescu, Alasmari, Naif +5 · 2 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Reliability and Analysis Research