Simos Gerasimou

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

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

論文

• Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
  2026/4/1
• Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning
  2025/4/1
• Bayesian Learning for the Robust Verification of Autonomous Robots
  2023/3/1
• Fast Parametric Model Checking through Model Fragmentation
  2021/2/1
• Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering
  2020/8/1