Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Li, Yonghan, Wu, Chenyu, Wu, Taoran, Wang, Shijie, Xue, Bai
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!