Login / Signup

On the Decidability of a Fragment of preferential LTL.

Anasse ChafikFahima Cheikh AliliJean-François CondottaIvan Varzinczak
Published in: TIME (2020)
Keyphrases