Zhang, Kuize Detectability of labeled weighted automata over monoids. (English) Zbl 1524.68180 Discrete Event Dyn. Syst. 32, No. 3, 435-494 (2022). MSC: 68Q45 68Q25 68Q85 90C35 93B07 PDFBibTeX XMLCite \textit{K. Zhang}, Discrete Event Dyn. Syst. 32, No. 3, 435--494 (2022; Zbl 1524.68180) Full Text: DOI arXiv
Lahaye, Sébastien; Komenda, Jan; Boimond, Jean-Louis Compositions of (max,+) automata. (English) Zbl 1328.93168 Discrete Event Dyn. Syst. 25, No. 1-2, 323-344 (2015). MSC: 93C65 15A80 PDFBibTeX XMLCite \textit{S. Lahaye} et al., Discrete Event Dyn. Syst. 25, No. 1--2, 323--344 (2015; Zbl 1328.93168) Full Text: DOI
Buchholz, Peter; Kemper, Peter Model checking for a class of weighted automata. (English) Zbl 1206.68186 Discrete Event Dyn. Syst. 20, No. 1, 103-137 (2010). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{P. Buchholz} and \textit{P. Kemper}, Discrete Event Dyn. Syst. 20, No. 1, 103--137 (2010; Zbl 1206.68186) Full Text: DOI arXiv