V Fionda, A Ielo, F Ricca - International Conference on Logic …, 2024 - Springer
Abstract Finite variant of Linear Temporal Logic (LTL f) is increasingly popular in Artificial
Intelligence (AI). Indeed, several AI applications rely on checking the satisfiability of temporal …