Mario Gleirscher

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

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

論文

• 信頼性の高い自律システムの構築：課題と解決策
  自律システム2026/6/1

  自律システムの信頼性を高めるための課題と解決策をまとめたワークショップ報告書であり、検証・実世界応用・安全なソフトウェアアーキテクチャの3分野に焦点を当て、今後の研究と産業協力のロードマップを提示している。

• 再帰的タスクを持つロボット集団のためのロバスト制御器合成：ケーススタディ
  群制御2024/11/1

  清掃ロボット集団を例に、再帰的タスク・最適化・安全制約を扱うPOMDPベースの制御器合成手法を提案し、大規模環境での実用的なモデリング指針を示した。

• Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems
  2023/11/1
• Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems
  2021/10/1
• Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
  2021/6/1
• Maintaining driver attentiveness in shared-control autonomous driving
  2021/2/1
• YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments
  2020/12/1
• Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
  2020/7/1
• Safety Controller Synthesis for Collaborative Robots
  2020/7/1
• Risk Structures: Towards Engineering Risk-aware Autonomous Systems
  2019/4/1
• New Opportunities for Integrated Formal Methods
  2018/12/1
• SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles
  2018/11/1
• From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case
  2018/2/1
• Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory Steps
  2017/9/1