32 citations · 55 across the 4 of their papers we have counts for
5 papers
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…
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…
GIST: A Solver for Probabilistic Games
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann +1
Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with ω-regular objectives; and (b) synthesizes reasonable environment assumptions…
Measuring and Synthesizing Systems in Probabilistic Environments
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann +1
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order…
Better Quality in Synthesis through Quantitative Objectives
Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger +1
Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another. For examp…