25 citations · 97 across the 30 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
eess.SY2012
Distributed Priority Synthesis
Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem +1
Given a set of interacting components with non-deterministic variable update and given safety requirements, the goal of priority synthesis is to restrict, by means of priorities, t…
cs.LO2012★ 2 cited
Distributed Priority Synthesis and its Applications
Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan +3
Given a set of interacting components with non-deterministic variable update and given safety requirements, the goal of priority synthesis is to restrict, by means of priorities, t…