@misc{indiciae9c1a5ab6ad45,
  title = {Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems},
  author = {Zhe Xu and Yichen Zhang},
  year = {2021},
  url = {https://arxiv.org/abs/2103.14264},
  note = {Source identifier: 2103.14264}
}