In 2007, Abdulla et al. introduced the concept of decisiveness, an interesting tool for lifting
good properties of finite Markov chains to denumerable ones. Later, this concept was …

Weighted timed games are two-player zero-sum games played in a timed automaton
equipped with integer weights. We consider optimal reachability objectives, in which one of …

The window mechanism was introduced by Chatterjee et al. to reinforce mean-payoff and
total-payoff objectives with time bounds in two-player turn-based games on graphs. It has …

The behavior of a hybrid system can be described by continuous flows interleaved with
discrete changes. Hybrid systems are often affected by uncertainties, which can be modeled …

Résumé Les systèmes logiciels sont omniprésents et leur fiabilité est souvent cruciale,
surtout lorsqu'une défaillance peut entraîner une catastrophe humaine, environnementale …

The window mechanism, introduced by Chatterjee et al. for mean-payoff and total-payoff
objectives in two-player turn-based games on graphs, refines long-term objectives with time …

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 …

In [ABM07], Abdulla et al. introduced the concept of decisiveness, an interesting tool for
lifting good properties of finite Markov chains to denumerable ones. Later, this concept was …

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é …