University home | Studying | Research | Business and community | Working here | Alumni and supporters | Our departments | Visiting us | About us

• Homepage
• Key Information
  • Almanac
  • Building Access
  • Building Maps
  • College Policies
  • College Structure
  • Key Academic Roles
  • Academic Groups
  • Key Professional Service Contacts
  • Staff Profiles
    • Academic Staff
    • Research Staff
    • Postgraduate Research Students
    • Professional Services Staff
    • Honorary Staff and Visitors
    • All Staff
  • Events and Colloquia
  • Useful Links
• Students
• Staff
• PGR
• Health and Safety
• Computer Support
• National Student Survey (NSS)
• Intranet Help

Chi Zhang

Publications

_{Copyright Notice: Any articles made available for download are for personal use only. Any other use requires prior permission of the author and the copyright holder.}

2024

• Zhang C. (2024) Robustness Verification on Learning-enabled Systems with Provable Guarantees.

Showing 1 publications from Symplectic.