12 citations · 12 across the 1 of their papers we have counts for
1 paper
Roderick Bloem, Hans-Jürgen Gamauf, Georg Hofferek +2
Specifications for reactive systems often consist of environment assumptions and system guarantees. An implementation should not only be correct, but also robust in the sense that…