Funder
Libya Ministry of Higher Education and Scientific Research
Khalifa University of Science, Technology and Research
Natural Sciences and Engineering Research Council of Canada
Concordia University
Ministry of Higher Education, Malaysia
Subject
Artificial Intelligence,Computer Science Applications,General Engineering
Reference42 articles.
1. Reasoning about uncertainty over IoT systems;Alwhishi,2022
2. Verifying timed commitment specifications for IoT-cloud systems with uncertainty;Alwhishi,2022
3. Principles of model checking;Baier,2008
4. Reliability-driven automotive software deployment based on a parametrizable probabilistic model checking;Baouya;Expert Systems with Applications,2021
5. Multi-agent multi-criteria decision framework with interactive explanation tools;Brarda;Expert Systems with Applications,2023