Sinclair-Banks, Henry

1. Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality
   2023/05/02 by Künnemann, Marvin, Mazowiecki, Filip, Schütze, Lia +2 · 4 citations
   #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
2. A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter
   2025/05/19 by Yousef Shakiba, Shakiba, Yousef, Henry Sinclair-Banks +3 · 1 citation
   Computer Science · #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms #Quantum Computing Algorithms and Architecture #Quantum-Dot Cellular Automata