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