Papers
16
Total Citations
161
H-Index
8
About
Dejanira Araiza-Illan is a robotics and autonomous systems researcher whose work sits at the intersection of formal verification, human-robot interaction, and trustworthy robotics. She has made significant contributions to ensuring that collaborative robots operating alongside humans are safe, reliable, and verifiable—challenges of growing importance as robotics transforms industries from manufacturing to healthcare. Among her most influential contributions is her development and advocacy of Coverage-Driven Verification (CDV), a rigorous simulation-based testing methodology designed to validate robotic systems operating in complex, realistic environments. This approach, cited across multiple publications totaling over 45 citations, addresses the unique challenges of robotic software testing, including concurrent hardware and software execution in dynamic, human-populated settings. Her work on symmetry reduction for model checking swarm navigation algorithms (31 citations) demonstrates her breadth across multi-robot systems as well. Araiza-Illan has also explored the human dimensions of robotics, investigating how faults, personality, and experience shape trust in robot co-workers (23 citations), and developing augmented reality interfaces for intuitive robot reprogramming. Her research on partial compliance and vague requirements further reflects her commitment to practically deployable autonomous systems. Collectively, her work provides essential tools and frameworks for building robots that are not only functional but genuinely trustworthy.
Research Focus
Key Achievements
Top Papers
- 1
- 2Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker23 citations · 2017
- 3
- 4
- 5
- 6Augmented Reality for Quick and Intuitive Robotic Packing Re-Programming12 citations · 2019
- 7Coverage-Driven Verification —12 citations · 2015
- 8
- 9Safe and Trustworthy Human-Robot Interaction5 citations · 2018
- 10