2 citations · 3 across the 6 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2024
On the Decidability of Presburger Arithmetic Expanded with Powers
Toghrul Karimov, Florian Luca, Joris Nieuwveld +2
We prove that for any integers , the existential fragment of the first-order theory of the structure …
cs.LO2024
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,…
cs.LO2014★ 1 cited
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…