@misc{indiciae95b820d8aa5a, title = {Weighing Timed Regular Languages: The Final Step (long version)}, author = {Eugene Asarin and Aldric Degorre and Catalin Dima and Bernardo Jacobo Inclán}, year = {2026}, url = {https://arxiv.org/abs/2606.11003}, note = {Source identifier: 2606.11003} }