Safe Partial Diagnosis from Normal Observations
Learning Behavior Models for Hybrid Timed Systems