18 citations · 18 across the 1 of their papers we have counts for
1 paper
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…