Login / Signup

Solving a PSPACE-complete problem with cP systems.

Alec HendersonRadu NicolescuMichael J. Dinneen
Published in: J. Membr. Comput. (2020)
Keyphrases
  • pspace complete
  • np complete
  • complex systems
  • machine learning
  • dynamic programming
  • model checking