{"total":14,"rows":[{"id":"2111.09971","title":"Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations","created":"2021-11-18","cited_by_count":20,"area":null},{"id":"2111.11277","title":"BarrierNet: A Safety-Guaranteed Layer for Neural Networks","created":"2021-11-22","cited_by_count":12,"area":null},{"id":"2210.04763","title":"On the Forward Invariance of Neural ODEs","created":"2022-10-10","cited_by_count":11,"area":null},{"id":"2301.11683","title":"Neural Abstractions","created":"2023-01-27","cited_by_count":11,"area":null},{"id":"2309.06090","title":"A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis","created":"2023-09-12","cited_by_count":6,"area":null},{"id":"2207.04117","title":"Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents","created":"2022-07-08","cited_by_count":5,"area":null},{"id":"2404.18813","title":"Safe Reach Set Computation via Neural Barrier Certificates","created":"2024-04-29","cited_by_count":5,"area":null},{"id":"2411.18235","title":"Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control","created":"2024-11-27","cited_by_count":3,"area":null},{"id":"2503.10641","title":"Estimating Control Barriers from Offline Data","created":"2025-02-21","cited_by_count":3,"area":null},{"id":"2103.09414","title":"Toward Neural-Network-Guided Program Synthesis and Verification","created":"2021-03-17","cited_by_count":2,"area":null},{"id":"2404.16883","title":"Myopically Verifiable Probabilistic Certificates for Safe Control and Learning","created":"2024-04-23","cited_by_count":1,"area":null},{"id":"2406.13025","title":"ABNet: Attention BarrierNet for Safe and Scalable Robot Learning","created":"2024-06-18","cited_by_count":1,"area":null},{"id":"2509.08157","title":"Risk-Bounded Multi-Agent Visual Navigation via Iterative Risk Allocation","created":"2025-09-09","cited_by_count":1,"area":null},{"id":"2503.21141","title":"Safe Human Robot Navigation in Warehouse Scenario","created":"2025-03-27","cited_by_count":0,"area":null}],"next_cursor":null}