Ye, Kangfeng (2022) Probabilistic modelling and verification, and Animation in RoboChart. In: YorRobots and RoboStar Industry Exhibition, 11-12 Oct 2022, University of York.
Abstract
This poster shows the research work in the RoboStar goup related to probabilistic modelling and verification in RoboChart, and animation of RoboChart.
Metadata
Item Type: | Conference or Workshop Item |
---|---|
Authors/Creators: |
|
Keywords: | RoboStar,RoboChart,Probabilistic modelling,Probabilistic verification,Animation,Model checking,Theorem Proving,Isabelle/UTP,Uncertainity,Probability |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Funding Information: | Funder Grant number EPSRC EP/R025479/1 EPSRC EP/S001190/1 |
Depositing User: | Pure (York) |
Date Deposited: | 09 Nov 2022 14:10 |
Last Modified: | 19 Dec 2024 00:02 |
Status: | Published |
Refereed: | No |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:193112 |
Download
Filename: RoboStar_Poster_Probabilistic_v1.pdf
Description: RoboStar Poster - Probabilistic modelling and verification
Licence: CC-BY-NC 2.5