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 …

Conventional approaches for parallel composition of stochastic systems relate probability
measures of the individual components in terms of product measures. Such approaches rely …

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 …

Stochastic systems with rewards yield a generic stochastic model where both the state and
the action space might be uncountable and where every action is decorated by a real …

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 …

Cyber-physical systems and the Internet of Things raise various challenges concerning the
modelling and analysis of large modular systems. Models for such systems typically require …

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

Abstract Continuous-time Markov chains (CTMCs) is an attractive formalism for specification
of stochastic systems where discrete events occur in continuous time. The class of CTMCs is …

Automata expressiveness is an essential feature in understanding which of the formalisms
available should be chosen for modelling a particular problem. Probabilistic and stochastic …