TY  - RPRT
TI  - On the distributed backward reachability problem for large scale systems
AU  - Davide Liuzza
AU  - Paolo Falcone
AU  - Massimo Tipaldi
AU  - Luigi Glielmo
PY  - 2021
UR  - https://arxiv.org/abs/2109.04856
ID  - 2109.04856
ER  -