Yi Dong
Orcid: 0000-0003-3047-7777Affiliations:
- University of Liverpool, UK
According to our database1,
Yi Dong
authored at least 15 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
A survey of safety and trustworthiness of large language models through the lens of verification and validation.
Artif. Intell. Rev., July, 2024
IEEE Internet Things J., May, 2024
Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems.
IEEE Robotics Autom. Lett., 2024
2023
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance.
ACM Trans. Embed. Comput. Syst., 2023
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023
Proceedings of the IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2023
Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
2022
Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022
2021
Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems.
CoRR, 2021
Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems.
CoRR, 2021
Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021