Probabilistic modelling and verification, and Animation in RoboChart

Kangfeng Ye

Probabilistic modelling and verification, and Animation in RoboChart

Computer Science

Research output: Contribution to conference › Poster

Abstract

This poster shows the research work in the RoboStar goup related to probabilistic modelling and verification in RoboChart, and animation of RoboChart.

Original language	English
Publication status	Published - 11 Oct 2022
Event	YorRobots and RoboStar Industry Exhibition - University of York, York Duration: 11 Oct 2022 → 12 Oct 2022

Conference

Conference	YorRobots and RoboStar Industry Exhibition
City	York
Period	11/10/22 → 12/10/22

Keywords

RoboStar
RoboChart
Probabilistic modelling
Probabilistic verification
Animation
Model checking
Theorem Proving
Isabelle/UTP
Uncertainity
Probability

Access to Document

RoboStar Poster - Probabilistic modelling and verification Final published version, 2.39 MBLicence: CC BY-NC

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

Cite this

@conference{b2fbacd3f3a14b42a3445ac359cfd502,

title = "Probabilistic modelling and verification, and Animation in RoboChart",

abstract = "This poster shows the research work in the RoboStar goup related to probabilistic modelling and verification in RoboChart, and animation of RoboChart.",

keywords = "RoboStar, RoboChart, Probabilistic modelling, Probabilistic verification, Animation, Model checking, Theorem Proving, Isabelle/UTP, Uncertainity, Probability",

author = "Kangfeng Ye",

year = "2022",

month = oct,

day = "11",

language = "English",

note = "YorRobots and RoboStar Industry Exhibition ; Conference date: 11-10-2022 Through 12-10-2022",

}

TY - CONF

T1 - Probabilistic modelling and verification, and Animation in RoboChart

AU - Ye, Kangfeng

PY - 2022/10/11

Y1 - 2022/10/11

N2 - This poster shows the research work in the RoboStar goup related to probabilistic modelling and verification in RoboChart, and animation of RoboChart.

AB - This poster shows the research work in the RoboStar goup related to probabilistic modelling and verification in RoboChart, and animation of RoboChart.

KW - RoboStar

KW - RoboChart

KW - Probabilistic modelling

KW - Probabilistic verification

KW - Animation

KW - Model checking

KW - Theorem Proving

KW - Isabelle/UTP

KW - Uncertainity

KW - Probability

M3 - Poster

T2 - YorRobots and RoboStar Industry Exhibition

Y2 - 11 October 2022 through 12 October 2022

ER -

Probabilistic modelling and verification, and Animation in RoboChart

Abstract

Conference

Keywords

Access to Document

Projects

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

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

Cite this