1 citations · 1 across the 6 of their papers we have counts for
Showing 2023 · cs.CCShow all
2 papers · 2 filters
cs.CC2023
Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
Manon Blanc, Olivier Bournez
We prove that functions over the reals computable in polynomial time can be characterised using discrete ordinary differential equations (ODE), also known as finite differences. We…
cs.CC2023
Measuring robustness of dynamical systems. Relating time and space to length and precision
Manon Blanc, Olivier Bournez
Verification of discrete time or continuous time dynamical systems over the reals is known to be undecidable. It is however known that undecidability does not hold for various clas…