共 50 条
- [12] Robustness against Power is PSpace-complete AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2014), PT II, 2014, 8573 : 158 - 170
- [14] Deciding Universality of ptNFAs is PSPACE-Complete SOFSEM 2018: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2018, 10706 : 413 - 427
- [15] Presburger modal logic is PSPACE-complete AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 541 - 556
- [17] Online Chromatic Number is PSPACE-Complete THEORY OF COMPUTING SYSTEMS, 2018, 62 (06) : 1366 - 1391
- [18] Everything is PSPACE-complete in interaction systems THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008, PROCEEDINGS, 2008, 5160 : 216 - 227
- [20] Stochastic Muller games are PSPACE-complete FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 436 - 448