10 citations · 23 across the 6 of their papers we have counts for
1 paper · 1 filter
Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer +3
Erroneous behaviour in safety critical real-time systems may inflict serious consequences. In this paper, we show how to synthesize timed shields from timed safety properties given…