Global ETD Search

Compositional Machine Learning for Time-Verifiable, Safe, and Explainable Cyber-Physical Systems

Chatterjee, SobhanResearchSpace@Auckland2026

… ML while ensuring the rigorous safety, timing, and explainability requirements of critical applications. Traditional monolithic machine learning approaches create blackbox systems that are di!cult to verify, implement on hardware for timing analysis, and explain to stakeholders. This thesis …

auckland-ms Repository record for Compositional Machine Learning for Time-Verifiable, Safe, and Explainable Cyber-Physical Systems (opens in a new tab)