Simos Gerasimou

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

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

論文

• ODD耐性を持つ自律システムのための形式的保証付き制御適応
  自律システム2026/4/1

  運用設計領域外の状況に対応するため、確率的システムモデルを適応させつつ定量的な保証を提供する手法を提案した。予期しない状況下でもシステムの信頼性を向上できることを示した。

• ハイブリッドタスクプランニングによる適応型人間-ロボット協調ミッション
  タスクプランニング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