@misc{indiciae018522087868,
  title = {Model Checking Strategies from Synthesis Over Finite Traces},
  author = {Suguman Bansal and Yong Li and Lucas Martinelli Tabajara and Moshe Y. Vardi and Andrew Wells},
  year = {2023},
  url = {https://arxiv.org/abs/2305.08319},
  note = {Source identifier: 2305.08319}
}