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