3 papers
cs.AI2025
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…
cs.LO2025
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…
cs.GT2025
The Value Problem for Weighted Timed Games with Two Clocks is Undecidable
Quentin Guilmant, Joël Ouaknine, 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…