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 |
|
|