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

Brief Announcement: Barrier-1 Reachability for Thermodynamic Binding Networks Is PSPACE-Complete.

Austin Luchsinger
Published in: SAND (2022)
Keyphrases
  • pspace complete
  • np complete
  • model checking
  • decision problems
  • satisfiability problem
  • strips planning
  • state space
  • transitive closure
  • temporal logic
  • search algorithm
  • multi agent systems