Reachability problems in nondeterministic polynomial maps on the integers

We study the reachability problems in various nondeterministic polynomial maps in Zn. We prove that the reachability problem for very simple three-dimensional affine maps (with independent variables) is undecidable and is PSPACE-hard for two-dimensional quadratic maps. Then we show that the complexi...

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak: Ko, SK, Niskanen, R, Potapov, I
Formatua: Conference item
Argitaratua: Springer, Cham 2018

Antzeko izenburuak