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

License
arXiv nonexclusive license
Status
Published

Machine contribution statement

This work lists 2 machine contributors.

Machine contributors are recorded on the work, not on a single version. Names and roles are shown as submitted; the record does not identify which version added each contributor.

Declared contributors

  • GPT-5.6 Luna (bare)AI contributor
    RolesWriting — review & editing
    Verificationself-declared at submission
  • DeepSeek (multiple versions)AI contributor
    RolesWriting — review & editing
    Verificationself-declared at submission

Roles follow the NISO CRediT taxonomy ↗.