PV1 dtControlvisualises a previously synthesised controller

Application domain/field

Expected input

Synthesized controller

Format:

SCOTS, Uppaal Stratego, PRISM or Storm

Expected output

Decision tree that represents the controller

Links

Last commit date

20 November 2021

Related papers

Last publication date

23 March 2021

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.