2 papers
stat.AP2026
A warning system for risk prediction of metabolic syndrome in a healthy population of blood donors
Simone Colombara, Ilenia Epifani, Alessandra Guglielmi +1
Metabolic syndrome is a complex clinical condition characterized by the simultaneous presence of multiple metabolic risk factors and represents a major public health concern. The s…
cs.AI2025
Robust Probabilistic Model Checking with Continuous Reward Domains
Xiaotong Ji, Hanchun Wang, Antonio Filieri +1
Probabilistic model checking traditionally verifies properties on the expected value of a measure of interest. This restriction may fail to capture the quality of service of a sign…