Louise A. Dennis
収録論文 8本 ・ フィジカルAI/ロボット学習
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- Engineering Reliable Autonomous Systems: Challenges and Solutions2026/6/1
- Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains2025/11/1
- Grand Challenges in the Verification of Autonomous Systems2024/11/1
- ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics2024/11/1
- Autonomous Systems' Safety Cases for use in UK Nuclear Environments2023/10/1
- Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy2022/7/1
- Towards Compositional Verification for Modular Robotic Systems2020/12/1
- Modular Verification of Autonomous Space Robotics2019/8/1