activity
20202026
most citedTools at the Frontiers of Quantitative Verification

2 citations · 2 across the 6 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.LO2021

TEMPEST -- Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments

Stefan Pranger, Bettina Könighofer, Lukas Posch +1

We present Tempest, a synthesis tool to automatically create correct-by-construction reactive systems and shields from qualitative or quantitative specifications in probabilistic e…