{"total":13,"rows":[{"id":"2302.03122","title":"State-wise Safe Reinforcement Learning: A Survey","created":"2023-02-06","cited_by_count":55,"area":null},{"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":"2301.10339","title":"AutoCost: Evolving Intrinsic Cost for Zero-violation Reinforcement Learning","created":"2023-01-24","cited_by_count":17,"area":null},{"id":"2101.06492","title":"Learning Robust Hybrid Control Barrier Functions for Uncertain Systems","created":"2021-01-16","cited_by_count":14,"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":"2410.16281","title":"Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation","created":"2024-10-04","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":"2102.10806","title":"Provably Correct Training of Neural Network Controllers Using Reachability Analysis","created":"2021-02-22","cited_by_count":5,"area":null},{"id":"2303.04212","title":"ConBaT: Control Barrier Transformer for Safe Policy Learning","created":"2023-03-07","cited_by_count":3,"area":null},{"id":"2302.06572","title":"EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency","created":"2023-02-13","cited_by_count":1,"area":null},{"id":"2402.14580","title":"Savvy: Trustworthy Autonomous Vehicles Architecture","created":"2024-02-08","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":"2302.12493","title":"SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge","created":"2023-02-24","cited_by_count":0,"area":null}],"next_cursor":null}