1 citations · 1 across the 3 of their papers we have counts for
5 papers
On Periodic and Aperiodic Optimal Strategies in Solvency Games
Quentin Guilmant, Florian Luca, Richard Mayr +2
Solvency games are a gambling problem on infinite-state Markov decision processes in which the state represents an investor's fortune. In every round, the invest…
(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…
The 2-Dimensional Constraint Loop Problem is Decidable
Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine +1
A linear constraint loop is specified by a system of linear inequalities that define the relation between the values of the program variables before and after a single execution of…
Surreal fields stable under exponential, logarithmic, derivative and anti-derivative functions
Olivier Bournez, Quentin Guilmant
The class of surreal numbers, denoted by , initially proposed by Conway, is a universal ordered field in the sense that any ordered field can be embedded in it. They i…
Surreal fields stable under exponential and logarithmic functions
Olivier Bournez, Quentin Guilmant
Surreal numbers, have a very rich and elegant theory. This class of numbers, denoted by No, includes simultaneously the ordinal numbers and the real numbers, and forms a universal…