|
|||||
|
|
A note on the undecidability of the reachability problem for o‐minimal dynamical systems |
|
| Authors: | Thomas Brihaye |
| Abstract: | In this paper we prove that the reachability problem is BSS‐undecidable for o‐minimal dynamical systems. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) |
| Keywords: | Dynamical system reachability problem undecidability |