On the Decidability of a Fragment of preferential LTL.

Anasse Chafik, Fahima Cheikh Alili, Jean-Franois Condotta, Ivan Varzinczak

Browse the full TIME paper archive.