1 citations · 1 across the 4 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.GT2026
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…
cs.LO2026
Rich Sequences and Decidability of Arithmetic Theories
Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine
We develop a new framework for proving the undecidability of first-order theories of structures of the form , ,…