LTL with Local and Remote Data Constraints. - Ashwin Bhaskar (CoRR, 2022)

Constraint LTL with Remote Access. - Ashwin Bhaskar; M. Praveen (FSTTCS, 2023)

Realizability problem for constraint LTL. - Ashwin Bhaskar; M. Praveen (Inf. Comput., 2024)