@inproceedings{BHO21,
  author    = {Michael Blondin and Christoph Haase and Philip Offtermatt},
  title     = {Directed Reachability for Infinite-State Systems}, 
  booktitle = {Proc.\ $27^\text{th}$ International Conference on Tools
                  and Algorithms for the Construction and Analysis of
                  Systems ({TACAS})},
  pages     = {3--23},
  doi       = {10.1007/978-3-030-72013-1_1},
  year      = {2021}
}