On the distributivity of LTL specifications
From MaRDI portal
Publication:2946608
DOI10.1145/1740582.1740588zbMath1352.68162OpenAlexW2107594468MaRDI QIDQ2946608
Publication date: 17 September 2015
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1740582.1740588
distributivityconstraint satisfactionunique solutionLTLsyntactic characterizationquery solvingstrongest solutiontemplate characterization