A Neuro-Fuzzy Controller for Collaborative Applications in Robotics Using LabVIEW. - Hiram E. Ponce; Dejanira Araiza-Illan; Pedro Ponce (Appl. Comput. Intell. Soft Comput., 2009)

Bio-inspired Autonomous Navigation and Escape from Pursuers with Potential Functions. - Dejanira Araiza-Illan; Tony J. Dodd (TAROS, 2012)

Formal Verification of Control Systems Properties with Theorem Proving. - Dejanira Araiza-Illan; Kerstin Eder; Arthur Richards (CoRR, 2014)

Verification of control systems implemented in simulink with assertion checks and theorem proving: A case study. - Dejanira Araiza-Illan; Kerstin Eder; Arthur Richards (ECC, 2015)

Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with Humans. - Dejanira Araiza-Illan; David G. Western; Anthony G. Pipe; Kerstin Eder (Haifa Verification Conference, 2015)

Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms. - Laura R. Antuña; Dejanira Araiza-Illan; Sérgio Campos; Kerstin Eder (TAROS, 2015)

Evaluating Model Checking Approaches to Verify Stability of Control Systems in Simulink. - Dejanira Araiza-Illan; Kerstin Eder (CoRR, 2015)

Model-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions. - Dejanira Araiza-Illan; David G. Western; Anthony G. Pipe; Kerstin Eder (CoRR, 2015)

Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions. - Dejanira Araiza-Illan; Anthony G. Pipe; Kerstin Eder (MORSE@RoboCup, 2016)

Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions. - Dejanira Araiza-Illan; David G. Western; Anthony G. Pipe; Kerstin Eder (TAROS, 2016)

Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions. - Dejanira Araiza-Illan; Tony Pipe; Kerstin Eder (CoRR, 2016)

Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents. - Dejanira Araiza-Illan; Anthony G. Pipe; Kerstin Eder (CoRR, 2016)

Towards the Specification of Adaptive Robotic Systems. - Jeremy Morse; Dejanira Araiza-Illan; Jonathan Lawry; Kerstin Eder (CoRR, 2016)

A formal approach to analysing requirements conformance in adaptive systems. - Jeremy Morse; Dejanira Araiza-Illan; Jonathan Lawry; Arthur Richards; Kerstin Eder (CoRR, 2016)

An Assurance-based Approach to Verification and Validation of Human-Robot Teams. - Matt Webster; David G. Western; Dejanira Araiza-Illan; Clare Dixon; Kerstin Eder; Michael Fisher 001; Anthony G. Pipe (CoRR, 2016)

A fuzzy approach to qualification in design exploration for autonomous robots and systems. - Jeremy Morse; Dejanira Araiza-Illan; Kerstin Eder; Jonathan Lawry; Arthur Richards (FUZZ-IEEE, 2017)

Risk-Based Triggering of Bio-inspired Self-preservation to Protect Robots from Threats. - Sing-Kai Chiu; Dejanira Araiza-Illan; Kerstin Eder (TAROS, 2017)

Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker. - Satragni Sarkar; Dejanira Araiza-Illan; Kerstin Eder (CoRR, 2017)

Dynamic Regions to Enhance Safety in Human-Robot Interactions. - Dejanira Araiza-Illan; Alberto de San Bernabe Clemente (ETFA, 2018)

Augmented Reality for Quick and Intuitive Robotic Packing Re-Programming. - Dejanira Araiza-Illan; Alberto de San Bernabe; Hongchao Fang; Leong Yong Shin (HRI, 2019)

A corroborative approach to verification and validation of human-robot teams. - Matt Webster; David G. Western; Dejanira Araiza-Illan; Clare Dixon; Kerstin Eder; Michael Fisher 001; Anthony G. Pipe (Int. J. Robotics Res., 2020)

Verification of Autonomous Systems [TC Spotlight]. - Dejanira Araiza-Illan; Michael Fisher 001; Kevin Leahy 001; Joanna Isabelle Olszewska; Signe A. Redfield (IEEE Robotics Autom. Mag., 2022)