Radu Calinescu

収録論文 10本 ・ フィジカルAI/ロボット学習

※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。

論文

• ロボット支援マンモグラフィにおけるハザード管理
  医療支援ロボット2026/4/1

  マンモグラフィ支援ロボットMammoBotの安全性を確保するため、利害関係者参加型プロセスモデリングとSHARD・STPAを組み合わせたハザード管理手法を提案した。

• ロボット支援着替えのための記号的ランタイム検証と適応的意思決定
  アシスト/形式検証2025/4/1

  着替え支援ロボットにおいて、ベイズ推論で更新される確率的モデルと時相論理による形式検証を組み合わせ、危険回避と適応的判断をリアルタイムで行う制御フレームワークを提案した。

• Bayesian Learning for the Robust Verification of Autonomous Robots
  2023/3/1
• Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems
  2022/9/1
• Towards Adaptive Planning of Assistive-care Robot Tasks
  2022/9/1
• Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
  2021/6/1
• Fast Parametric Model Checking through Model Fragmentation
  2021/2/1
• Maintaining driver attentiveness in shared-control autonomous driving
  2021/2/1
• Safety Controller Synthesis for Collaborative Robots
  2020/7/1
• Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
  2020/7/1