Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Kerstin Eder

D-VAL: An automatic functional equivalence validation tool for planning domain models


Apr 29, 2021
Anas Shrinah, Derek Long, Kerstin Eder


  Access Paper or Ask Questions

On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification


Apr 29, 2021
Greg Chance, Abanoub Ghobrial, Kevin McAreavey, Severin Lemaignan, Tony Pipe, Kerstin Eder

* 17 pages, 8 figures, 1 table 

  Access Paper or Ask Questions

CyRes -- Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract)


Jul 03, 2020
Carsten Maple, Peter Davies, Kerstin Eder, Chris Hankin, Greg Chance, Gregory Epiphaniou

* 7 pages, extended abstract 

  Access Paper or Ask Questions

Formalizing and Guaranteeing* Human-Robot Interaction


Jun 30, 2020
Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Ruediger Ehlers, Christoffer Heckman, Nils Jansen, Ross Knepper, Jan Křetínský, Shelly Levy-Tzedek, Jamy Li, Todd Murphey, Laurel Riek, Dorsa Sadigh


  Access Paper or Ask Questions

Verification of Planning Domain Models - Revisited


Nov 22, 2018
Anas Shrinah, Kerstin Eder


  Access Paper or Ask Questions

A Corroborative Approach to Verification and Validation of Human--Robot Teams


Aug 15, 2018
Matt Webster, David Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe

* 49 pages 

  Access Paper or Ask Questions

Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker


Mar 09, 2017
Satragni Sarkar, Dejanira Araiza-Illan, Kerstin Eder


  Access Paper or Ask Questions

Risk-based Triggering of Bio-inspired Self-Preservation to Protect Robots from Threats


Feb 22, 2017
Sing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder


  Access Paper or Ask Questions

Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents


Dec 12, 2016
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder

* arXiv admin note: text overlap with arXiv:1603.00656 

  Access Paper or Ask Questions

Formal Specification and Analysis of Autonomous Systems under Partial Compliance


Jul 22, 2016
Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Arthur Richards, Kerstin Eder


  Access Paper or Ask Questions

Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions


Jul 13, 2016
Dejanira Araiza-Illan, David Western, Anthony G. Pipe, Kerstin Eder


  Access Paper or Ask Questions

Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions


Jul 13, 2016
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder


  Access Paper or Ask Questions

Believing in BERT: Using expressive communication to enhance trust and counteract operational error in physical Human-Robot Interaction


Jun 22, 2016
Adriana Hamacher, Nadia Bianchi-Berthouze, Anthony G. Pipe, Kerstin Eder

* 8 pages, 4 figures 

  Access Paper or Ask Questions

Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions


Mar 02, 2016
Dejanira Araiza-Illan, Tony Pipe, Kerstin Eder


  Access Paper or Ask Questions

Marimba: A Tool for Verifying Properties of Hidden Markov Models


Oct 28, 2015
Noe Hernandez, Kerstin Eder, Evgeni Magid, Jesus Savage, David A. Rosenblueth

* Tool paper accepted in the 13th International Symposium on Automated Technology for Verification and Analysis (ATVA 2015) 

  Access Paper or Ask Questions

Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans


Sep 16, 2015
Dejanira Araiza-Illan, David Western, Anthony Pipe, Kerstin Eder

* Accepted for publication, Haifa Verification Conference (HVC) 2015 

  Access Paper or Ask Questions

Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms


Jun 16, 2015
Laura Antuña, Dejanira Araiza-Illan, Sérgio Campos, Kerstin Eder

* Accepted for presentation in Towards Autonomous Robotic Systems (TAROS) 2015, Liverpool, UK 

  Access Paper or Ask Questions

Towards the Safety of Human-in-the-Loop Robotics: Challenges and Opportunities for Safety Assurance of Robotic Co-Workers


Jun 04, 2014
Kerstin Eder, Chris Harper, Ute Leonards


  Access Paper or Ask Questions