32 citations · 55 across the 4 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011
Algorithms for Synthesizing Priorities in Component-based Systems
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen +5
We present algorithms to synthesize component-based systems that are safe and deadlock-free using priorities, which define stateless-precedence between enabled actions. Our core me…
cs.LO2011★ 18 cited
Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives
Christian von Essen, Barbara Jobstmann
We show how to automatically construct a system that satisfies a given logical specification and has an optimal average behavior with respect to a specification with ratio costs. W…