TY  - RPRT
TI  - Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control
AU  - Maryam Bagheri
AU  - Marjan Sirjani
AU  - Ehsan Khamespanah
AU  - Christel Baier
AU  - Ali Movaghar
PY  - 2021
UR  - https://arxiv.org/abs/1905.06732
ID  - 1905.06732
ER  -