Trusted Injury Prediction in High-Risk Settings via Verified Hybrid AI Models

Imen Chebbi, Sarra Abidi, Leila Ben Ayed

Abstract



In many sports disciplines, artificial intelligence (AI) has emerged as a crucial tool for injury detection and prevention. In order to minimize negative events, maximize athletic performance, and improve rehabilitation outcomes, modern sports medicine is placing a greater emphasis on the significance of predicting injury risks. Tailored training and recovery
plans that are based on precise injury risk assessments have been demonstrated to lower injury rates and speed up recovery times. In this study, we tackle the crucial problem of increasing the precision of injury detection and the effectiveness of reaction time. Our suggested approach consists of two steps:
first, we use Recurrent Neural Networks (RNNs) to train a model, and then we use the Random Forest algorithm to choose features. In our trials, we assessed five machine learning models: AdaBoost, Random Forest, CatBoost, XGBoost, and Decision Tree. The accuracy of the suggested method was a noteworthy 99 Using the Z3 SMT solver, we used formal verification approaches to make sure the injury prediction system was accurate and reliable. We verified that the model’s predictions
stayed within predetermined safety bounds after encoding limitations over physiological data inputs. In order to confirm that risk classification rules cannot result in unsafe states, we also used Alloy to evaluate the decision logic.




Disclaimer/Regarding indexing issue:

We have provided the online access of all issues and papers to the indexing agencies (as given on journal web site). It’s depend on indexing agencies when, how and what manner they can index or not. Hence, we like to inform that on the basis of earlier indexing, we can’t predict the today or future indexing policy of third party (i.e. indexing agencies) as they have right to discontinue any journal at any time without prior information to the journal. So, please neither sends any question nor expects any answer from us on the behalf of third party i.e. indexing agencies.Hence, we will not issue any certificate or letter for indexing issue. Our role is just to provide the online access to them. So we do properly this and one can visit indexing agencies website to get the authentic information. Also: DOI is paid service which provided by a third party. Journal never mentioned that we have DOI number. However, to get free DOI, author can register your work which published with Zonodo (https://zenodo.org/signup/). We have no objection for this open access repository.