@misc{indiciae9aa3b8f14387,
  title = {Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems},
  author = {Yulong Gao and Alessandro Abate and Frank J. Jiang and Mirco Giacobbe and Lihua Xie and Karl H. Johansson},
  year = {2020},
  url = {https://arxiv.org/abs/2007.02271},
  note = {Source identifier: 2007.02271}
}