Kleene-Schützenberger and Büchi theorems for weighted timed automataKarin QuaasUitverkocht4,3Hou mij op de hoogte