Finite-state Strategies in Delay Games (full version)

What is a finite-state strategy in a delay game? We answer this surprisingly non-trivial question by presenting a very general framework that allows to remove delay: finite-state strategies exist for all winning conditions where the resulting delay-free game admits a finite-state strategy. The framework is applicable to games whose winning condition is recognized by an automaton with an acceptance condition that satisfies a certain aggregation property. Our framework also yields upper bounds on the complexity of determining the winner of such delay games and upper bounds on the necessary lookahead to win the game. In particular, we cover all previous results of that kind as special cases of our uniform approach

Weak Muller Conditions Make Delay Games Hard

We show that solving delay games with winning conditions given by deterministic and non-deterministic weak Muller automata is 2EXPTIME-complete respectively 3EXPTIME-complete. Furthermore, doubly- and triply-exponential lookahead is necessary and sufficient to win such games. These results are the first that show that the succinctness of the automata types used to specify the winning conditions has an influence on the complexity of these problems.</p

What are the potential impacts of banishing the choice of cashing out the second pillar at the age of retirement in Switzerland ?

The Swiss pension scheme is based on three pillars; the first one aims to cover the vital needs, the second one to secure the standard of living of the pensioner and the last one is an individual retirement savings (voluntary). In theory, a retiree benefiting from a full pension of the first pillar and second pillar, should not need supplementary benefits (State’s help), at least until that he has to enter in a nursing home. The supplementary benefits are allocated to the pensioner benefiting from the first pillar and who does not have enough resources to cover his vital needs. Due to the increase of the life expectancy and the population ageing, many reforms are currently discussing in view to keep the same level of assistance without increasing the State’s expenses. This study focuses on the fact that the Federal Council wants to prohibit the right to take the mandatory part of the second pillar as a lump sum at the retirement age. It analyses the potential impacts that this reform would have on the Government, the provident institutions and the future retirees. It also analyses if there is real correlation between the fact of withdrawing the mandatory part of the second pillar and the early economic dependency towards the supplementary benefits. The last part of the analysis is dedicated to provide an international perspective of the problematic with a comparison with the choice of the United Kingdom to implement the inverse reform in 2015. The results of this study are based on analytical researches, qualitative interviews and a quantitative survey based on a sample of fifty person aged between 55 and 75 years old. It appears that the women are the ones who need the most the supplementary benefits during the retirement, as they contribute less during their careers. Also there is a correlation between the socio professional background and the life expectancy, meaning that someone with only a mandatory school degree will live in average less than someone with a university degree. This aspect is important for this study as the choice of taking a lump sum is also linked to the life expectancy of the pensioner. And as this reform will affect only the mandatory part, it could be prejudicial for the low to medium class. It is still not proved that there is a correlation between the withdrawal of the capital at the retirement age and the necessity of supplementary benefits. But it seems that most of the pensioners that required supplementary benefits are in general independent that overlooked to save for their retirement, part-time jobs, and housewives. This leads to ask if the fact to banish the right to take a lump sum will really diminishing the economic dependency of the pensioners toward the supplementary benefits

Strategies Resilient to Delay:Games under Delayed Control vs. Delay Games

We compare games under delayed control and delay games, two types of infinite games modelling asynchronicity in reactive synthesis. Our main result, the interreducibility of the existence of sure winning strategies for the protagonist, allows to transfer known complexity results and bounds on the delay from delay games to games under delayed control, for which no such results had been known. We furthermore analyze existence of randomized strategies that win almost surely, where this correspondence between the two types of games breaks down.</p

Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games (full version)

We compare games under delayed control and delay games, two types of infinite games modelling asynchronicity in reactive synthesis. Our main result, the interreducibility of the existence of sure winning strategies for the protagonist, allows to transfer known complexity results and bounds on the delay from delay games to games under delayed control, for which no such results had been known. We furthermore analyze existence of randomized strategies that win almost surely, where this correspondence between the two types of games breaks down

Übergriffe auf Mitarbeitende in der Notaufnahme: Analyse von architektonischen Maßnahmen zur Prävention bzw. dem effizienten Umgang

Gewaltvorfälle (körperliche oder verbale Übergriffe sowie Vandalismus) stellen ein Problem von wachsender Relevanz für Krankenhäuser dar. Notaufnahmen melden dabei die häufigsten Probleme hinsichtlich Vandalismus bzw. Übergriffen. Diese stellen für das hohen Stress ausgesetzte Krankenhauspersonal eine erhebliche zusätzliche Belastung dar. Daher setzen Krankenhäuser entsprechende Maßnahmen zum Umgang mit oder der Prävention von Übergriffen durch Patient:innen um. Dabei finden architektonische (bauliche und technische) Maßnahmen am häufigsten Anwendung. Im Rahmen dieser Arbeit sollen die architektonischen Maßnahmen zur Prävention und zum Umgang mit Übergriffen hinsichtlich ihrer Umsetzung und Wirksamkeit analysiert und Handlungsempfehlungen gegeben werden. Dafür wurde eine Online-Umfrage von Klinikpersonal in Notaufnahmen durchgeführt. Im Ergebnis zeigte sich, dass übergriffige Verhaltensweisen gegenüber Mitarbeitenden in der Notaufnahme zunehmen. Die Umsetzung architektonischer Maßnahmen kann einen wichtigen Beitrag zur Verbesserung der Situation leisten. Ein umfassender kombinierter Einsatz architektonischer Maßnahmen findet allerdings noch nicht flächendeckend statt und es werden weitere (z. B. architektonische) Maßnahmen in Notaufnahmen erforderlich

Catalytic hydrogenation of α,β-unsaturated carboxylic acid derivatives using copper(i)/N-heterocyclic carbene complexes

A simple and air-stable copper(I)/N-heterocyclic carbene complex enables the catalytic hydrogenation of enoates and enamides, hitherto unreactive substrates employing homogeneous copper catalysis and H2 as a terminal reducing agent. This atom economic transformation replaces commonly employed hydrosilanes and can also be carried out in an asymmetric fashion.TU Berlin, Open-Access-Mittel - 201