Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh 0001, Yamine Aït Ameur. A Complete Fragment of LTL(EB). In Arne Meier, Magdalena Ortiz 0001, editors, Foundations of Information and Knowledge Systems - 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings. Volume 14589 of Lecture Notes in Computer Science, pages 237-255, Springer, 2024. [doi]
Abstract is missing.