24 citations · 79 across the 22 of their papers we have counts for
1 paper · 2 filters
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…