27 citations · 52 across the 11 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…