TY  - RPRT
TI  - Directed Reachability for Infinite-State Systems
AU  - Michael Blondin
AU  - Christoph Haase
AU  - Philip Offtermatt
PY  - 2020
UR  - https://arxiv.org/abs/2010.07912
ID  - 2010.07912
ER  -