Publisher
Springer International Publishing
Reference40 articles.
1. D. Araiza-Illan, K. Eder, A. Richards, Formal verification of control systems’ properties with theorem proving, in 2014 UKACC International Conference on Control (CONTROL) (2014), pp. 244–249. https://doi.org/10.1109/CONTROL.2014.6915147
2. D. Araiza-Illan, K. Eder, A. Richards, Verification of control systems implemented in Simulink with assertion checks and theorem proving: a case study, in 2015 European Control Conference (ECC), pp. 2670–2675 (2015). https://doi.org/10.1109/ECC.2015.7330941
3. D. Araiza-Illan, D. Western, A. Pipe, K. Eder, Coverage-driven verification—an approach to verify code for robots that directly interact with humans, in Hardware and Software: Verification and Testing, ed. by N. Piterman (Springer International Publishing, Cham, 2015), pp. 69–84. https://doi.org/10.1007/978-3-319-26287-1_5
4. D. Araiza-Illan, A.G. Pipe, K. Eder, Intelligent agent-based stimulation for testing robotic software in human-robot interactions, in Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering, MORSE’16 (Association for Computing Machinery, New York, 2016), pp. 9–16. https://doi.org/10.1145/3022099.3022101
5. D. Araiza-Illan, D. Western, A.G. Pipe, K. Eder, Systematic and realistic testing in simulation of control code for robots in collaborative human-robot interactions, in Towards Autonomous Robotic Systems, ed. by L. Alboul, D. Damian, J.M. Aitken (Springer International Publishing, Cham, 2016), pp. 20–32. https://doi.org/10.1007/978-3-319-40379-3_3
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Soft Gripping: Specifying for Trustworthiness;2024 IEEE 7th International Conference on Soft Robotics (RoboSoft);2024-04-14
2. Human-robot interaction through adjustable social autonomy;Intelligenza Artificiale;2022-07-08