Komplexitätsanalyse von Stackelberg-Planung und Meta-Operator-Verifizierung

Stackelberg-Planung ist PSPACE-vollständig, aber unter einer polynomialen Planlängenbeschränkung ΣP2-vollständig. Die Komplexität von Meta-Operator-Verifizierung ist ähnlich, mit PSPACE-Vollständigkeit im Allgemeinen und ΠP2-Vollständigkeit unter polynomialer Planlängenbeschränkung.