@article{multiagentpathfindingwithcontinuoustime,
  title = {Multi-agent Path Finding with Continuous Time Viewed Through Satisfiability Modulo Theories (SMT)},
  author = {Pavel Surynek},
  year = {2019},
  eprint = {1903.09820},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1903.09820v1},
}