Robuta

https://paul.brunet-zamansky.fr/talks/geocal14.html Deciding Kleene Algebra with converse is PSpace-complete - Paul Brunet’s Home Page kleene algebra pspace complete home page deciding converse https://cris.huji.ac.il/en/publications/simulating-quadratic-dynamical-systems-is-pspace-complete-prelimi/ Simulating quadratic dynamical systems is PSPACE-complete (preliminary version) - The Hebrew... dynamical systems pspace complete simulating quadratic preliminary