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

Manfred Droste Vitaly Perevoshchikov

Published in: CoRR (2015)

Keyphrases

relative distance
timed automata

real time
knowledge base

spatio temporal
post processing

space time