A continuous characterization of PSPACE using polynomial ordinary differential equations

Bournez, OlivierGozzi, RiccardoGraça, DanielPouly, Amaury2023-04-042023-04-042023-08http://hdl.handle.net/10400.1/19387In this paper we provide a characterization of the complexity class PSPACE by using a purely continuous model defined with polynomial ordinary differential equations.engPSPACEAnalog computationGeneral Purpose Analog ComputerComputational complexityContinuous models of computationOrdinary differential equationsA continuous characterization of PSPACE using polynomial ordinary differential equationsjournal article10.1016/j.jco.2023.1017551090-2708