News of 2020
07/2020： Our paper “Interval Change-Point Detection for Runtime Probabilistic Model Checking” is accepted by ASE2020. A first joint paper with our York friends Dr. Radu Calinescu and Dr. Simos Gerasimou – hopefully many more to come!
04/2020: Our paper “A Safety Framework for Critical Systems Utilising Deep Neural Networks” is accepted by SafeComp2020. Many thanks to our Liverpool and DSTL friends for their great efforts. Here is a preprint.
02/2020: Give a talk at the TASP: Trustworthy Adaptive and Autonomous Systems & Processes research group, University of York. The topic is “Robust Bayesian Estimators for Transition Parameters in Probabilistic Model Checking”, here is the slides.
News of 2019
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.
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. A preprint is available on arXiv.