| A corroborative approach to verification and validation of human–robot teams M Webster, D Western, D Araiza-Illan, C Dixon, K Eder, M Fisher, AG Pipe The International Journal of Robotics Research 39 (1), 73-99, 2020 | 77 | 2020 |
| Formal verification of control systems' properties with theorem proving D Araiza-Illan, K Eder, A Richards 2014 UKACC International Conference on Control (CONTROL), 244-249, 2014 | 47 | 2014 |
| Coverage-Driven Verification D Araiza-Illan, D Western, A Pipe, K Eder Hardware and Software: Verification and Testing, 69-84, 2015 | 37 | 2015 |
| Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker S Sarkar, D Araiza-Illan, K Eder arXiv preprint arXiv:1703.02335, 2017 | 30 | 2017 |
| Intelligent agent-based stimulation for testing robotic software in human-robot interactions D Araiza-Illan, AG Pipe, K Eder Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering, 9-16, 2016 | 30 | 2016 |
| Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions D Araiza-Illan, D Western, A Pipe, K Eder arXiv preprint arXiv:1511.01354, 2015 | 28 | 2015 |
| Augmented Reality for Quick and Intuitive Robotic Packing Re-Programming D Araiza-Illan, A De San Bernabe, F Hongchao, LY Shin 2019 14th ACM/IEEE International Conference on Human-Robot Interaction (HRI …, 2019 | 17 | 2019 |
| Verification of control systems implemented in simulink with assertion checks and theorem proving: a case study D Araiza-Illan, K Eder, A Richards 2015 European Control Conference (ECC), 2670-2675, 2015 | 14 | 2015 |
| Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms L Antuña, D Araiza-Illan, S Campos, K Eder Conference Towards Autonomous Robotic Systems, 26-37, 2015 | 12 | 2015 |
| Adaptive proportional–integral controller using OLE for process control for industrial applications MA Paz, TA Ramirez-delReal, SC Garibo, D Araiza-Illan, ... International Journal of Advanced Robotic Systems 14 (5), 1729881417728467, 2017 | 11 | 2017 |
| A fuzzy approach to qualification in design exploration for autonomous robots and systems J Morse, D Araiza-Illan, K Eder, J Lawry, A Richards Fuzzy Systems (FUZZ-IEEE), 2017 IEEE International Conference on, 1-6, 2017 | 11 | 2017 |
| Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents D Araiza-Illan, AG Pipe, K Eder arXiv preprint arXiv:1609.08439, 2016 | 10 | 2016 |
| Dynamic Regions to Enhance Safety in Human-Robot Interactions D Araiza-Illan, A de San Bernabe Clemente IEEE 23rd International Conference on Emerging Technologies and Factory …, 2018 | 9 | 2018 |
| An Assurance-based Approach to Verification and Validation of Human--Robot Teams M Webster, D Western, D Araiza-Illan, C Dixon, K Eder, M Fisher, AG Pipe arXiv preprint arXiv:1608.07403, 2016 | 9 | 2016 |
| Formal Specification and Analysis of Autonomous Systems under Partial Compliance J Morse, D Araiza-Illan, J Lawry, A Richards, K Eder arXiv preprint arXiv:1603.01082, 2016 | 6 | 2016 |
| Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions D Araiza-Illan, T Pipe, K Eder arXiv preprint arXiv:1603.00656, 2016 | 5 | 2016 |
| Safe and Trustworthy Human-Robot Interaction D Araiza-Illan, K Eder Humanoid Robotics: A Reference, 2397-2419, 2019 | 4 | 2019 |
| A formal approach to analysing requirements conformance in adaptive systems J Morse, D Araiza-Illan, J Lawry, A Richards, K Eder arXiv preprint arXiv:1606.01077, 2016 | 4 | 2016 |
| Model-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions D Araiza-Illan, D Western, A Pipe, K Eder arXiv preprint arXiv:1511.01354, 2015 | 4 | 2015 |
| Biologically inspired controller for the autonomous navigation of a mobile robot in an evasion task D Araiza-Illan, T Dodd World Academy of Science, Engineering and Technology 68, 780-785, 2010 | 4 | 2010 |
A G PipeBristol Robotics Laboratory在 brl.ac.uk 的电子邮件经过验证
