@article{smtlastratifiedlogicforexpressivemulti,
  title = {SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications},
  author = {Ali Baheri and Peng Wei},
  year = {2025},
  eprint = {2501.02094},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2501.02094v2},
}