@article{DBLP:journals/corr/abs-2304-14778, title = {Metric Temporal Equilibrium Logic over Timed Traces}, author = {Becker, Arvid and Cabalar, Pedro and Di{\'{e}}guez, Mart{\'{\i}}n and Schaub, Torsten and Schuhmann, Anna}, journal = {CoRR}, volume = {abs/2304.14778}, year = {2023} }