Southwest University, Chongqing

Woodcock, J. (Advisor)
Zhiming Liu (Collaborator)

Computer Science

Activity: Visiting an external institution › Academic

Description

Research collaboration with Southwest University as part of Royal Society project.

Period	11 May 2019 → 15 May 2019
Visiting	Southwest University, Chongqing
Degree of Recognition	International

Keywords

Cyber-physical systems
Verification
Robotics
RoboChart
Probabilistic algorithms

Related content

Publications
Kleene Algebra in Unifying Theories of Programming
Research output: Working paper
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Projects
A Calculus for Software Engineering of Mobile and Autonomous Robots
Project: Research project (funded) › Research
Requirements Modelling for Cyber-Physical Systems
Project: Research project (funded) › Research