5 papers
Approximating the Value of Time-Bounded Weighted Timed Games
Isa Vialard, Joël Ouaknine
The Value Problem for weighted timed games, an extension of timed automata with weights and adversity, consists in determining, given a weighted timed game with a reachability obje…
Population Protocols over Ordered Agents
Michael Blondin, Michaël Cadilhac, Benjamin Courchesne +3
Population protocols are a distributed computation model in which a collection of anonymous, finite-state agents interact in randomly chosen pairs and update their states according…
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
Rajab Aghamov, Christel Baier, Joel Ouaknine +3
Dynamic Bayesian networks (DBNs) are compact graphical representations used to model probabilistic systems where interdependent random variables and their distributions evolve over…
Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games
Isa Vialard
The Value Problem for weighted timed games (wtgs) consists in determining, given a two-player weighted timed game with a reachability objective and a rational threshold, whether or…
(Un)Decidability of Two-Clock Weighted Timed Games
Quentin Guilmant, Joël Ouaknine, Isa Vialard +1
The Value Problem for weighted timed games consists in determining, given a two-player weighted timed game with a reachability objective and a rational threshold, whether or not th…