In this paper, we investigate the synthesis problem of terminating reactive systems from
quantitative specifications. Such systems are modeled as finite transducers whose …

Software systems are ubiquitous, and their reliability is often crucial, especially for the ones
operating in embedded hardware, where the energetic sobriety moreover matters. To bring …

Résumé Les systèmes logiciels sont omniprésents et leur fiabilité est souvent cruciale, en
particulier pour ceux qui fonctionnent dans du matériel embarqué, où la sobriété …

A standard objective in partially-observable Markov decision processes (POMDPs) is to find
a policy that maximizes the expected discounted-sum payoff. However, such policies may …

Two-player zero-sum games of infinite duration and their quantitative versions are used in
verification to model the interaction between a controller (Eve) and its environment (Adam) …