RIVERAS: Robust Integrated Verification of Autonomous Systems (EPSRC AIS Call)

Eder, Kerstin I (Principal Investigator)

Status	Finished
Effective start/end date	21/01/13 → 20/06/19

4 Conference Contribution (Conference Proceeding)
2 Conference Paper
2 Article (Academic Journal)
1 Chapter in a book
More
- 1 Conference Poster

Formalizing and Guaranteeing* Human-Robot Interaction
Kress-Gazit, H., Eder, K. I., Hoffman, G., Admoni, H., Argall, H. D., Ehlers, R., Heckman, C., Jansen, N., Knepper, R., Křetínský, J., Levy-Tzedek, S., Li, J., Murphey, T. D., Riek, L. & Sadigh, D., 24 Aug 2021, In: Communications of the ACM. 64, 9, p. 78-84 7 p.
Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access
File
24 Citations (Scopus)

137 Downloads (Pure)
A Corroborative Approach to Verification and Validation of Human–Robot Teams
Webster, M., Western, D., Araiza Illan, D., Dixon, C., Eder, K. I., Fisher, M. & Pipe, A. G., 25 Nov 2019, In: International Journal of Robotics Research (IJRR). 27 p.
Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access
File
48 Citations (Scopus)

371 Downloads (Pure)
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 proceeding › Conference Contribution (Conference Proceeding)

Open Access
File
9 Citations (Scopus)

346 Downloads (Pure)