{"total":14,"rows":[{"id":"2205.13536","title":"Verifying Learning-Based Robotic Navigation Systems","created":"2022-05-26","cited_by_count":33,"area":null},{"id":"2302.09772","title":"Demonstration-Guided Reinforcement Learning with Efficient Exploration for Task Automation of Surgical Robot","created":"2023-02-20","cited_by_count":23,"area":null},{"id":"2301.00452","title":"Human-in-the-loop Embodied Intelligence with Interactive Simulation Environment for Surgical Robot Learning","created":"2023-01-01","cited_by_count":13,"area":null},{"id":"2406.04184","title":"Shield Synthesis for LTL Modulo Theories","created":"2024-06-06","cited_by_count":12,"area":null},{"id":"2206.09603","title":"Constrained Reinforcement Learning for Robotics via Scenario-Based Programming","created":"2022-06-20","cited_by_count":11,"area":null},{"id":"2501.07468","title":"From Screens to Scenes: A Survey of Embodied AI in Healthcare","created":"2025-01-13","cited_by_count":10,"area":null},{"id":"2110.04685","title":"Learning Visual Shape Control of Novel 3D Deformable Objects from Partial-View Point Clouds","created":"2021-10-10","cited_by_count":9,"area":null},{"id":"2302.10030","title":"Safe Deep Reinforcement Learning by Verifying Task-Level Properties","created":"2023-02-20","cited_by_count":9,"area":null},{"id":"2307.16503","title":"Value-Informed Skill Chaining for Policy Learning of Long-Horizon Tasks with Surgical Robot","created":"2023-07-31","cited_by_count":9,"area":null},{"id":"2302.06695","title":"Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation","created":"2023-02-13","cited_by_count":7,"area":null},{"id":"2305.04449","title":"DeformerNet: Learning Bimanual Manipulation of 3D Deformable Objects","created":"2023-05-08","cited_by_count":4,"area":null},{"id":"2309.14463","title":"DefGoalNet: Contextual Goal Learning from Demonstrations For Deformable Object Manipulation","created":"2023-09-25","cited_by_count":3,"area":null},{"id":"2312.05890","title":"Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing","created":"2023-12-10","cited_by_count":1,"area":null},{"id":"2305.05354","title":"Safe Deep RL for Intraoperative Planning of Pedicle Screw Placement","created":"2023-05-09","cited_by_count":0,"area":null}],"next_cursor":null}