Login / Signup
Chuanrui Jiang
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Case Study
Formal Verification
Dynamic Environments
Chaotic Systems
Top Venues
CoRR
</>
Publications
</>
Hongkai Dai
,
Chuanrui Jiang
,
Hongchao Zhang
,
Andrew Clark
Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions.
CoRR
(2024)