Mario Gleirscher

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

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

論文

• Engineering Reliable Autonomous Systems: Challenges and Solutions
  2026/6/1
• Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study
  2024/11/1
• 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
• Safety Controller Synthesis for Collaborative Robots
  2020/7/1
• Challenges in the Safety-Security Co-Assurance of Collaborative Industrial 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