Deciding Universality of ptNFAs is PSpace-Complete.

Toms Masopust, Markus Krtzsch

Browse the full SOFSEM paper archive.