12 citations · 13 across the 3 of their papers we have counts for
1 paper · 1 filter
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…