98 citations · 569 across the 35 of their papers we have counts for
1 paper · 1 filter
Yu Wang, Zhaohui Zhu, Rob van Glabbeek +2
In order to guarantee that a supervised system satisfies safety requirements of the specification, as well as requirements saying that in certain states certain events must be enab…