Kerstin Eder

University of Bristol

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

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

論文

• スマートIoTタグを用いた緊急度認識型ロボット群倉庫内物流
  群制御2026/8/1

  倉庫内の各搬送キャリアに緊急度をブロードキャストするIoTタグを取り付け、ロボット群がその情報を直接読み取って優先度を考慮した搬送を行う分散型物流システムを提案・評価した。

• 低忠実度シミュレータを用いたUAVテストの擬似ランダム生成
  sim2real2025/3/1

  低忠実度シミュレータでUAVの飛行経路を高速に推定し、安全違反が予測されるテストケースを生成して高忠実度シミュレータで検証する手法を提案した。

• 自律ロボット群の検証と妥当性確認のための相互補強アプローチ
  群制御2024/7/1

  群ロボットの安全性保証に向け、形式検証・低忠実度/高忠実度シミュレーション・実機実験を相互補強的に組み合わせるV&V手法を提案し、公共クロークでのケーススタディで示した。

• 人とロボットの協調作業におけるジェスチャ設計の検討
  HRI2024/2/1

  産業現場での人と協働ロボットの非言語コミュニケーションに着目し、HRCジェスチャの設計原則・設計手法・評価方法を文献調査して課題と今後の研究方向を整理したサーベイ。

• Soft Gripping: Specifying for Trustworthiness
  2023/7/1
• AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms
  2023/2/1
• On Specifying for Trustworthiness
  2022/6/1
• On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification
  2021/4/1
• Formalizing and Guaranteeing* Human-Robot Interaction
  2020/6/1
• CyRes -- Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract)
  2020/6/1
• Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker
  2017/3/1
• Risk-based Triggering of Bio-inspired Self-Preservation to Protect Robots from Threats
  2017/2/1
• A Corroborative Approach to Verification and Validation of Human--Robot Teams
  2016/8/1
• Believing in BERT: Using expressive communication to enhance trust and counteract operational error in physical Human-Robot Interaction
  2016/5/1
• Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions
  2016/4/1
• Formal Specification and Analysis of Autonomous Systems under Partial Compliance
  2016/3/1
• Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions
  2016/3/1
• Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions
  2015/11/1
• Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans
  2015/9/1
• Marimba: A Tool for Verifying Properties of Hidden Markov Models
  2015/7/1
• Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms
  2015/5/1
• Towards the Safety of Human-in-the-Loop Robotics: Challenges and Opportunities for Safety Assurance of Robotic Co-Workers
  2014/4/1