113 citations · 260 across the 57 of their papers we have counts for
4 papers · 1 filter
Termination Analysis of Linear-Constraint Programs
Amir M. Ben-Amram, Samir Genaim, Joël Ouaknine +1
This paper provides an overview of techniques in termination analysis for programs with numerical variables and transitions defined by linear constraints. This subarea of program a…
On the Complexity of the Skolem Problem at Low Orders
Piotr Bacik, Joël Ouaknine, James Worrell
The Skolem Problem asks to determine whether a given linear recurrence sequence (LRS) over the integers has a zero term, that is, whether there e…
(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…
Computing transcendence and linear relations of 1-periods
Emre Can Sertöz, Joël Ouaknine, James Worrell
A 1-period is a complex number given by the integral of a univariate algebraic function, where all data involved -- the integrand and the domain of integration -- are defined over…