Probabilistic semantics for RoboChart. A weakest completion approach (Q2296286)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Probabilistic semantics for RoboChart. A weakest completion approach |
scientific article |
Statements
Probabilistic semantics for RoboChart. A weakest completion approach (English)
0 references
18 February 2020
0 references
RoboChart language
0 references
robotic controllers
0 references
statecharts
0 references
probabilistic semantics
0 references
relational calculus
0 references
Unifying Theories of Programming (UTP)
0 references
weakest completion semantics
0 references
