E-LIB Suche - Ergebnisse für: Araiza-Illan, Dejanira

1

A corroborative approach to verification and validation of ..:

Webster, Matt ; Western, David ; Araiza-Illan, Dejanira...
The International Journal of Robotics Research. 39 (2019) 1 - p. 73-99 , 2019

Link: https://doi.org/10.1177/..

2

Augmented reality for quick and intuitive robotic packing r..:

, In: Proceedings of the 14th ACM/IEEE International Conference on Human-Robot Interaction,

Araiza-Illan, Dejanira ; De San Bernabe, Alberto ; Hongchao, Fang. - p. 664 ff. , 2019

Link: https://dl.acm.org/doi/1..

3

Adaptive proportional–integral controller using OLE for pro..:

Paz, Marco A ; Ramirez-delReal, Tania A ; Garibo, Suselle C...
International Journal of Advanced Robotic Systems. 14 (2017) 5 - p. 172988141772846 , 2017

Link: https://doi.org/10.1177/..

4

Intelligent Agent-Based Stimulation for Testing Robotic Sof..:

, In: Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering,

Araiza-Illan, Dejanira ; Pipe, Anthony G. ; Eder, Kerstin - p. 9-16 , 2016

Link: https://dl.acm.org/doi/1..

5

A corroborative approach to verification and validation of ..:

Webster, Matt ; Western, David ; Araiza-Illan, Dejanira...
Webster , M , Western , D , Araiza-Illan , D , Dixon , C , Eder , K , Fisher , M & Pipe , A G 2020 , ' A corroborative approach to verification and validation of human–robot teams ' , The International Journal of Robotics Research , vol. 39 , no. 1 , pp. 73-99 . https://doi.org/10.1177/0278364919883338. , 2020

Link: https://research.manches..

6

Effects of Faults, Experience, and Personality on Trust in ..:

Sarkar, Satragni ; Araiza-Illan, Dejanira ; Eder, Kerstin
http://arxiv.org/abs/1703.02335. , 2017

Link: http://arxiv.org/abs/170..

7

Risk-based Triggering of Bio-inspired Self-Preservation to ..:

Chiu, Sing-Kai ; Araiza-Illan, Dejanira ; Eder, Kerstin
http://arxiv.org/abs/1702.06756. , 2017

Link: http://arxiv.org/abs/170..

8

A fuzzy approach to qualification in design exploration for..:

Morse, Jeremy ; Araiza-Illan, Dejanira ; Eder, Kerstin..
Morse , J , Araiza-Illan , D , Eder , K , Lawry , J & Richards , A 2017 , A fuzzy approach to qualification in design exploration for autonomous robots and systems . in 2017 IEEE International Conference on Fuzzy Systems, FUZZ 2017 . , 8015456 , IEEE International Fuzzy Systems Conference (FUZZ-IEEE) , Institute of Electrical and Electronics Engineers (IEEE) , 2017 IEEE International Conference on Fuzzy Systems, FUZZ 2017 , Naples , Italy , 9/07/17 . https://doi.org/10.1109/FUZZ-IEEE.2017.8015456. , 2017

Link: https://hdl.handle.net/1..

9

Model-based Test Generation for Robotic Software: Automata ..:

Araiza-Illan, Dejanira ; Pipe, Anthony G ; Eder, Kerstin
http://arxiv.org/abs/1609.08439. , 2016

Link: http://arxiv.org/abs/160..

10

Model-Based Testing, Using Belief-Desire-Intentions Agents,..:

Araiza-Illan, Dejanira ; Pipe, Tony ; Eder, Kerstin
http://arxiv.org/abs/1603.00656. , 2016

Link: http://arxiv.org/abs/160..

11

Intelligent Agent-Based Stimulation for Testing Robotic Sof..:

Araiza-Illan, Dejanira ; Pipe, Anthony G ; Eder, Kerstin
http://arxiv.org/abs/1604.05508. , 2016

Link: http://arxiv.org/abs/160..

12

Formal Specification and Analysis of Autonomous Systems und..:

Morse, Jeremy ; Araiza-Illan, Dejanira ; Lawry, Jonathan..
http://arxiv.org/abs/1603.01082. , 2016

Link: http://arxiv.org/abs/160..

13

A Fuzzy Approach to Qualification in Design Exploration for..:

Morse, Jeremy ; Araiza-Illan, Dejanira ; Lawry, Jonathan..
http://arxiv.org/abs/1606.01077. , 2016

Link: http://arxiv.org/abs/160..

14

A Corroborative Approach to Verification and Validation of ..:

Webster, Matt ; Western, David ; Araiza-Illan, Dejanira...
http://arxiv.org/abs/1608.07403. , 2016

Link: http://arxiv.org/abs/160..

15

Symmetry Reduction Enables Model Checking of More Complex E..:

Antuña, Laura ; Araiza-Illan, Dejanira ; Campos, Sérgio.
http://arxiv.org/abs/1505.05695. , 2015

Link: http://arxiv.org/abs/150..