2 papers
cs.PL2026
Implementing CPSLint: A Data Validation and Sanitisation Tool for Industrial Cyber-Physical Systems
Uraz Odyurt, Ãmer Sayilir, Mariëlle Stoelinga +1
Raw datasets are often too large and unstructured to work with directly, and require a data preparation phase. The domain of industrial Cyber-Physical Systems (CPSs) is no exceptio…
cs.AI2026
BayesL: a Logical Framework for the Verification of Bayesian Networks
Stefano M. Nicoletti, E. Moritz Hahn, Mariëlle Stoelinga
Modern explainable AI still struggles with a fundamental gap: although Bayesian networks (BNs) provide transparent probabilistic structure, there is no unified way to formally expr…