Davide Corsi
収録論文 12本 ・ フィジカルAI/ロボット学習
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- Verifiable Foundation Models for Robot Safety2026/6/22
- Verifiable Foundation Models for Robot Safety2026/6/1
- Efficient Dynamic Shielding for Parametric Safety Specifications2025/5/1
- Adapting World Models with Latent-State Dynamics Residuals2025/4/1
- Shield Synthesis for LTL Modulo Theories2024/6/1
- Aquatic Navigation: A Challenging Benchmark for Deep Reinforcement Learning2024/5/1
- Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation2023/3/1
- Constrained Reinforcement Learning for Robotics via Scenario-Based Programming2022/6/1
- Verifying Learning-Based Robotic Navigation Systems2022/5/1
- Curriculum Learning for Safe Mapless Navigation2021/12/1
- Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation2021/12/1
- Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery2021/9/1