@article{oai:nagoya.repo.nii.ac.jp:02001421,
author = {Seki, Hiroyuki and Yoshimura, Reo and Takata, Yoshiaki},
journal = {Theoretical Computer Science},
month = {Jan},
note = {Register automata (RA) are a computational model that can handle data values by adding registers to finite automata. Recently, weighted register automata (WRA) were proposed by extending RA so that weights can be specified for transitions. In this paper, we first investigate decidability and complexity of decision problems on the weights of runs in WRA. We then propose an algorithm for the optimal run problem related to the above decision problems. For this purpose, we use a register type as an abstraction of the contents of registers, which is determined by binary relations (such as =, <, etc.) handled by WRA. Also, we introduce a subclass where both the applicability of transition rules and the weights of transitions are determined only by a register type. We present a method of transforming a given WRA satisfying the assumption to a weighted directed graph such that the optimal run of WRA and the minimum weight path of the graph correspond to each other. Lastly, we discuss the optimal run problem for weighted timed automata as an example.},
pages = {185--201},
title = {Optimal run problem for weighted register automata},
volume = {850},
year = {2021}
}