@misc{indiciaeb253e02e33b9,
  title = {Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata},
  author = {Masaki Waga},
  year = {2019},
  url = {https://arxiv.org/abs/1906.12133},
  note = {Source identifier: 1906.12133}
}