TY  - RPRT
TI  - Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic
AU  - Zhe Xu
AU  - Xiaoming Duan
PY  - 2021
UR  - https://arxiv.org/abs/2103.14262
ID  - 2103.14262
ER  -