Kangfeng Ye

Search results

• 2023

  Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment

  Adam, M., Ye, K., Anisi, D. A., Cavalcanti, A., Woodcock, J. & Morris, R., 28 Sept 2023, 2023 IEEE 19th International Conference on Automation Science and Engineering, CASE 2023. IEEE, 7 p. 10260395. (IEEE International Conference on Automation Science and Engineering; vol. 2023-August).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2022

  Formally Verified Animation for RoboChart Using Interaction Trees

  Ye, K., Foster, S. & Woodcock, J., 10 Oct 2022, Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Proceedings. Riesco, A. & Zhang, M. (eds.). Springer, p. 404-420 17 p. (Lecture Notes in Computer Science ; vol. 13478).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2021

  Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving

  Ye, K., Foster, S. & Woodcock, J., 22 Oct 2021, Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Proceedings. Fahrenberg, U., Gehrke, M., Santocanale, L. & Winter, M. (eds.). Springer, p. 465-482 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13027 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2018

  Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra

  Foster, S. D., Ye, K., Cavalcanti, A. L. C. & Woodcock, J. C. P., 1 Nov 2018, Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Proceedings. Guttmann, W., Desharnais, J. & Joosten, S. (eds.). Springer, Vol. 11194. p. 205-224 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11194 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File