Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak. On the Decidability of a Fragment of preferential LTL. In Emilio Muñoz-Velasco, Ana Ozaki, Martin Theobald, editors, 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy. Volume 178 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.