@misc{indiciae50da2a374b0c,
  title = {Moore-Machine Filtering for Timed and Untimed Pattern Matching},
  author = {Masaki Waga and Ichiro Hasuo},
  year = {2019},
  doi = {10.1109/tcad.2018.2857358},
  url = {https://arxiv.org/abs/1810.09633},
  note = {Source identifier: 1810.09633}
}