@misc{indiciae37db4265bae5,
  title = {Online Process Monitoring Using Incremental State-Space Expansion: An Exact Algorithm},
  author = {Daniel Schuster and Sebastiaan J. van Zelst},
  year = {2020},
  doi = {10.1007/978-3-030-58666-9\_9},
  url = {https://arxiv.org/abs/2002.05945},
  note = {Source identifier: 2002.05945}
}