@inproceedings{BHO21,
  title = "Directed Reachability for Infinite-State Systems",
  author = "Michael Blondin and Christoph Haase and Philip Offtermatt",
  year = "2021",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems, {TACAS}",
  note = "To appear",
  publisher = "Springer",
  series = "Lect. Notes Comp. Sci.",
}