Paper
Paper
Search...
Search ResearchHub...
Ctrl+K
New
Home
Browse
Earn
Fund
RH Journal
Notebook
Lists
Leaderboard
RSC
USD
Changelog
Terms
Privacy
Issues
Docs
Support
Foundation
About
Simultaneous Synthesis and Verification of Neural Control... | ResearchHub
Paper
Paper
Search...
Search ResearchHub...
Ctrl+K
New
Home
Browse
Earn
Fund
RH Journal
Notebook
Lists
Leaderboard
RSC
USD
Changelog
Terms
Privacy
Issues
Docs
Support
Foundation
About
Simultaneous Synthesis and Verification of Neural Control Barrier Functions Through Branch-and-Bound Verification-in-the-Loop Training
0
Authors
Xinyu Wang
•
Luzia Knoedler
1 more
•
Javier Alonso–Mora
Published
June 25, 2024
Paper
Conversation
0
Reviews
0
Bounties
0
Sign in to comment
Add a comment...
Best
Supporters
Support the authors with ResearchCoin
Tip RSC
Topics
Computer Science
Artificial Intelligence
Mathematics
Physics
Training (Meteorology)
Show all topics
DOI
10.23919/ecc64448.2024.10591251
Other Formats
PDF
