LTL Fragments are Hard for Standard Parameterisations.

Martin Lck, Arne Meier

Browse the full TIME paper archive.