A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic.

Manfred Droste, Vitaly Perevoshchikov

Browse the full ICALP paper archive.