Research output per year
Research output per year
Research output
Search results
-
2024
DIRA: Dynamic Incremental Regularised Adaptation
Ghobrial , A., Zheng, X., Hond, D., Asgari, H. & Eder, K. I., 2024.Research output: Contribution to conference › Conference Paper › peer-review
-
On the Design of Human-Robot Collaboration Gestures
Shrinah, A., Eder, K. I., Sotoodeh-Bahraini, M., Khan, F., Asif, S. & Lohse, N., 2024, p. 205. 214 p.Research output: Contribution to conference › Conference Paper › peer-review
Open Access -
2023
A Trustworthiness Score to Evaluate DNN Predictions
Ghobrial , A., Hond, D., Asgari, H. & Eder, K. I., 2023.Research output: Contribution to conference › Conference Paper › peer-review
Open Access2 Citations (Scopus) -
2021
Complete Agent-driven Model-based System Testing for Autonomous Systems
Eder, K. I., Huang, W.-L. & Peleska, J., 22 Oct 2021.Research output: Contribution to conference › Conference Paper
Open AccessFile2 Citations (Scopus)67 Downloads (Pure) -
2020
An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification
Chance, G., Ghobrial, A., Lemaignan, S., Pipe, T. & Eder, K. I., 16 Apr 2020. 8 p.Research output: Contribution to conference › Conference Paper › peer-review
Open AccessFile170 Downloads (Pure) -
2014
Formal verification of control systems' properties with theorem proving
Araiza Illan, D., Eder, K. I. & Richards, A. G., 2014, p. 244-249. 6 p.Research output: Contribution to conference › Conference Paper › peer-review
29 Citations (Scopus)73 Downloads (Pure) -
Verification and testing of mobile robot navigation algorithms: A case study in SPARK
Trojanek, P. & Eder, K. I., Sept 2014, p. 1489-1494. 6 p.Research output: Contribution to conference › Conference Paper › peer-review
12 Citations (Scopus)115 Downloads (Pure)