Sascha Wunderlich

  • Citations Per Year
Learn More
Xanthohumol (XN), a component of hops, is lost in significant quantities in the conventional brewing process. In commercial beers less than 0.2 mg XN/L are found. In order to increase the yield of XN in the brewing process, the parameters of XN recovery were studied. During wort boiling, XN is largely isomerised to isoxanthohumol. Further losses are owing(More)
The markets for smart home products and services are expected to grow over the next years, driven by the increasing demands of homeowners considering energy monitoring, management, environmental controls and security. Many of these new systems will be installed in existing homes and offices and therefore using radio based systems for cost reduction. A(More)
Many important performance and reliability measures can be formalized as the accumulated values of weight functions. In this paper, we introduce an extension of linear time logic including past (LTL) with new operators that impose constraints on the accumulated weight along path fragments. The fragments are characterized by regular conditions formalized by(More)
Probabilistic model checking provides formal guarantees on quantitative properties such as reliability, performance or risk, so the accuracy of the numerical results that it returns is critical. However, recent results have shown that implementations of value iteration, a widely used iterative numerical method for computing reachability probabilities, can(More)
The paper addresses the problem of computing maximal conditional expected accumulated rewards until reaching a target state (briefly called maximal conditional expectations) in finite-state Markov decision processes where the condition is given as a reachability constraint. Conditional expectations of this type can, e.g., stand for the maximal expected(More)
  • 1