External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal safety verification of unknown continuous-time systems: a data-driven approach

Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, Majid Zamani. Formal safety verification of unknown continuous-time systems: a data-driven approach. In Sergiy Bogomolov, Raphaël M. Jungers, editors, HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021. ACM, 2021. [doi]

Authors

Abolfazl Lavaei

This author has not been identified. Look up 'Abolfazl Lavaei' in Google

Ameneh Nejati

This author has not been identified. Look up 'Ameneh Nejati' in Google

Pushpak Jagtap

This author has not been identified. Look up 'Pushpak Jagtap' in Google

Majid Zamani

This author has not been identified. Look up 'Majid Zamani' in Google
runs on