Build correct-by-design systems with probabilistic guarantees
Build safety-critical systems with forward invariance
Build adaptive agents with efficient learning algorithms
Robust control based on reconstruct fault signals or identify structured uncertainties
