Probabilistic modelling and verification, and Animation in RoboChart

Search results

• Finished

  CyPhyAssure: CyPhyAssure: Compositional Safety Assurance for Cyber-Physical Systems

  Foster, S. D.

  EPSRC

  1/06/18 → 31/07/21

  Project: Research project (funded) › Research

• RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots

  Cavalcanti, A. L. C., Timmis, J. & Woodcock, J.

  EPSRC

  1/04/18 → 31/08/24

  Project: Research project (funded) › Research