@misc{indiciae9ecfed541558,
  title = {Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic},
  author = {Zhe Xu and Xiaoming Duan},
  year = {2021},
  url = {https://arxiv.org/abs/2103.14262},
  note = {Source identifier: 2103.14262}
}