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]
@inproceedings{ChafikACV20,
title = {On the Decidability of a Fragment of preferential LTL},
author = {Anasse Chafik and Fahima Cheikh Alili and Jean-François Condotta and Ivan Varzinczak},
year = {2020},
doi = {10.4230/LIPIcs.TIME.2020.19},
url = {https://doi.org/10.4230/LIPIcs.TIME.2020.19},
researchr = {https://researchr.org/publication/ChafikACV20},
cites = {0},
citedby = {0},
booktitle = {27th International Symposium on Temporal Representation and Reasoning, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy},
editor = {Emilio Muñoz-Velasco and Ana Ozaki and Martin Theobald},
volume = {178},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-167-2},
}