Skip to content

Search Bristol research

1 - 10 out of 11Page size: 10
  1. 2017
  2. Published

    A fuzzy approach to qualification in design exploration for autonomous robots and systems

    Morse, J., Araiza-Illan, D., Eder, K., Lawry, J. & Richards, A., Aug 2017, 2017 IEEE International Conference on Fuzzy Systems, FUZZ 2017. Institute of Electrical and Electronics Engineers (IEEE), 6 p. 8015456. ( IEEE International Fuzzy Systems Conference (FUZZ-IEEE)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Published

    Risk-Based Triggering of Bio-inspired Self-preservation to Protect Robots from Threats

    Chiu, S-K., Araiza Illan, D. & Eder, K. I., 20 Jul 2017, Towards Autonomous Robotic Systems: 18th Annual Conference, TAROS 2017, Guildford, UK, July 19–21, 2017, Proceedings. Springer, p. 166-181 16 p. (Lecture Notes in Computer Science (including Lecture Notes in Artificial Intelligence); vol. 10454).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. 2016
  5. Published

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

    Araiza Illan, D., Pipe, A. G. & Eder, K. I., Jul 2016, Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering (MORSE '16). Aßmann, U., Brugali, D. & Piechnick, C. (eds.). Association for Computing Machinery (ACM), p. 9-16 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Published

    Intelligent Agent-Based Stimulation for Testing RoboticaSoftware in Human-Robot Interaction

    Araiza Illan, D., Pipe, A. G. & Eder, K. I., 19 Apr 2016, In : arXiv. 17 p., 1604.05508.

    Research output: Contribution to journalArticle

  7. Published

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

    Araiza Illan, D., Western, D., Pipe, A. & Eder, K., 2016, Towards Autonomous Robotic Systems: 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings. Alboul, L., Damian, D. & Aitken, J. M. (eds.). Springer, p. 20-32 13 p. (Lecture Notes in Computer Science; vol. 9716).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Accepted/In press

    Verification of Control Systems Implemented in Simulink with Assertion Checks and Theorem Proving: A Case Study

    Araiza Illan, D., Eder, K. & Richards, A., 2016, (Accepted/In press) European Control Conference. Institute of Electrical and Electronics Engineers (IEEE), 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter in a book

  9. 2015
  10. Published

    Coverage-Driven Verification: An Approach to Verify Code for Robots that Directly Interact with Humans

    Araiza-Illan, D., Western, D., Pipe, A. & Eder, K., 28 Nov 2015, Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Piterman, N. (ed.). Springer Verlag, p. 69-84 16 p. (Lecture Notes in Computer Science; vol. 9434, no. 2015).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Published

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

    Antuna, L., Araiza Illan, D., Campos, S. & Eder, K. I., 18 Jul 2015, Towards Autonomous Robotic Systems: 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings. Dixon, C. & Tuyls, K. (eds.). Springer Verlag, p. 26-37 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9287).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. 2014
  13. Published

    Towards the safety of human-in-the-loop robotics: Challenges and opportunities for safety assurance of robotic co-workers'

    Eder, K., Harper, C. & Leonards, U., 15 Oct 2014, Proceedings - IEEE International Workshop on Robot and Human Interactive Communication: 2014 IEEE RO-MAN. October ed. Institute of Electrical and Electronics Engineers (IEEE), Vol. 2014-October. p. 660-665 6 p. 6926328

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Published

    Formal Verification of Control System Properties with Theorem Proving

    Araiza Illan, D., Eder, K. I. & Richards, A. G., 9 Jul 2014.

    Research output: Contribution to conferencePoster

Previous 1 2 Next