Ashkan Samadi, Marwan Ammar, Otmane Aït Mohamed. Statistical Model Checking based Analysis of Fault Trees and Power Consumption to Enhance Autonomous Systems Reliability. In 21st IEEE Interregional NEWCAS Conference, NEWCAS 2023, Edinburgh, United Kingdom, June 26-28, 2023. pages 1-5, IEEE, 2023. [doi]
Abstract is missing.