Kerstin Eder

University of Bristol

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

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

論文

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

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

• Enabling Urgency-aware Robot Swarm Intralogistics using Smart IoT Tags
  2026/8/1
• Pseudo-Random UAV Test Generation Using Low-Fidelity Path Simulator
  2025/3/1
• Autonomous Robotic Swarms: A Corroborative Approach for Verification and Validation
  2024/7/1
• On the Design of Human-Robot Collaboration Gestures
  2024/2/1
• 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
• Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions
  2016/3/1
• Formal Specification and Analysis of Autonomous Systems under Partial Compliance
  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