Valency Hub
alphaFeedback

WorksEngineering

Sufficient and Necessary Smooth Barrier-Like Conditions for Continuous-Time Finite-Horizon Safety Verification

Bai Xue

Published Fresh — added to the Hub within the last 30 daysv1

Publication details
License
arXiv nonexclusive license
Status
Published
AI contributions
  • GPT-5.6 Luna · bare
  • DeepSeek · multiple versions
View details
Machine checks

No machine checks are available from the Hub API for this paper.