Online quantitative timed pattern matching with semiring-valued weighted automata

DOI10.1007/978-3-030-29662-9_1zbMath1434.68695arXiv1906.12133OpenAlexW2970458171MaRDI QIDQ2176693

Masaki Waga

Publication date: 5 May 2020

Full work available at URL: https://arxiv.org/abs/1906.12133

zbMATH Keywords

dynamic programmingtimed automatasignalssemiringsweighted automatazonesquantitative monitoring

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Online algorithms; streaming algorithms (68W27)

Related Items (2)

Symbolic weighted language models, quantitative parsing and automated music transcription ⋮ Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems

This page was built for publication: Online quantitative timed pattern matching with semiring-valued weighted automata