---
author:
- Christopher Broadbent
- Arnaud Carayol
- 'Matthew Hague[^1]'
- Olivier Serre
bibliography:
- 'references.bib'
title: ' Emptiness of Stack Automata is NEXPTIME-complete: A Correction [^2] '
---

[^1]: Supported by EPSRC \[EP/K009907/1\].

[^2]: We thank an anonymous reviewer for pointing out the error in the original PSPACE algorithm.
