Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 1 of 1 for “"Machine Learning (4611)"”.

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

    The integration of Machine Learning (ML) into safety-critical Cyber-Physical Systems (CPSs) presents a fundamental challenge: how to leverage the performance benefits of ML while ensuring the rigorous safety, timing, and explainability requirements of critical applications. Traditional monolithic …

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