TY  - RPRT
TI  - Logics Meet 2-Way 1-Clock Alternating Timed Automata
AU  - Shankara Narayanan Krishna
AU  - Khushraj Nanik Madnani
AU  - Manuel Mazo Jr.
AU  - Paritosh K. Pandya
PY  - 2022
UR  - https://arxiv.org/abs/2107.12986
ID  - 2107.12986
ER  -