Login / Signup
Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems.
Yonghan Li
Chenyu Wu
Taoran Wu
Shijie Wang
Bai Xue
Published in:
CoRR (2024)
Keyphrases
</>
management system
complex systems
computer systems
real time
knowledge base
black box
formal methods
safety analysis
learning algorithm
multi agent
expert systems
access control
building blocks
model checking
dynamical systems