• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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