12/2019: Start a new project “COVE: Continual Verification and Assurance of Robotic Systems Under Uncertainty” as a Co-Investigator. Looking forward to working with Dr. Radu Calinescu and Dr. Simos Gerasimou!
11/2019: Our paper “On Reliability Assessment When a Software-based System Is Replaced by a Thought-to-be-Better One” is accepted by Reliability Engineering and System Safety. It is another joint work, during my PhD study, with colleagues from the Centre for Software Reliability (CSR) at City University of London. Here is a preprint version.
09/2019: Our paper “UAS Operators Safety and Reliability Survey: Emerging Technologies Towards the Certification of Autonomous UAS” is accepted by ICSRS2019. Here is the accepted version.
07/2019: Our paper “Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing”, a joint work with colleagues from the Centre for Software Reliability (CSR) at City University of London, is accepted by ISSRE2019 as a Best Paper Nominee. Here is the accepted version.
06/2019: Our paper “Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management”, a joint work with colleagues from the University of Liverpool, is accepted by SEFM2019. Here is the accepted version.
02/2019: Presented our paper “Probabilistic Model Checking of Robots Deployed in Extreme Environments” at the 33rd AAAI Conference on Artificial Intelligence, Honolulu, Hawaii, 2019.
01/2019: As the start of my AAIP Programme Fellowship, I paid a very first visit to Dr. Radu Calinescu’s team at the University of York, which was a great experience.