TY  - RPRT
TI  - Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
AU  - Kaustuv Mukherji
AU  - Jaikrishna Manojkumar Patil
AU  - Dyuman Aditya
AU  - Paulo Shakarian
AU  - Devendra Parkar
AU  - Lahari Pokala
AU  - Clark Dorman
AU  - Gerardo I. Simari
PY  - 2025
UR  - https://arxiv.org/abs/2509.02958
ID  - 2509.02958
ER  -