2 citations · 3 across the 7 of their papers we have counts for
8 papers
Model Checking Markov Chains as Distribution Transformers
Rajab Aghamov, Christel Baier, Toghrul Karimov +4
The conventional perspective on Markov chains considers decision problems concerning the probabilities of temporal properties being satisfied by traces of visited states. However,…
Twisted rational zeros of linear recurrence sequences
Yuri Bilu, Florian Luca, Joris Nieuwveld +2
We introduce the notion of a twisted rational zero of a non-degenerate linear recurrence sequence (LRS). We show that any non-degenerate LRS has only finitely many such twisted rat…
Transcendence of Sturmian Numbers over an Algebraic Base
Florian Luca, Joel Ouaknine, James Worrell
We consider numbers of the form for a Sturmian sequence over a binary alp…
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem
Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine +2
The \emph{Orbit Problem} consists of determining, given a linear transformation on , together with vectors and , whether the orbit of under repeated ap…
The Polytope-Collision Problem
Shaull Almagor, Joël Ouaknine, James Worrell
The Orbit Problem consists of determining, given a matrix and vectors , whether there exists such that .…
The Cyclic-Routing UAV Problem is PSPACE-Complete
Hsi-Ming Ho, Joel Ouaknine
Consider a finite set of targets, with each target assigned a relative deadline, and each pair of targets assigned a fixed transit flight time. Given a flock of identical UAVs, can…