Items where authors include "Alasmari, Naif"

Article

Alasmari, Naif, Calinescu, Radu orcid.org/0000-0002-2678-9260, Paterson, Colin orcid.org/0000-0002-6678-3752 et al. (1 more author) (2022) Quantitative Verification with Adaptive Uncertainty Reduction. Journal of Systems and Software. 111275. ISSN 0164-1212

Proceedings Paper

Gerasimou, Simos orcid.org/0000-0002-2706-5272, Camara Moreno, Javier orcid.org/0000-0001-6717-4775, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (3 more authors) (2022) Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. In: 36th IEEE/ACM International Conference on Automated Software Engineering. UNSPECIFIED. IEEE .

Alasmari, Naif and Calinescu, Radu orcid.org/0000-0002-2678-9260 (2022) Synthesis of Pareto-optimal Policies for Continuous-Time Markov Decision Processes. In: 48th Euromicro Conference on Software Engineering and Advanced Applications. UNSPECIFIED. .