@misc{indiciae32b8ba711c7f,
  title = {Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks},
  author = {Jun Wang and Haojun Chen and Zihe Sun and Yiannis Kantaros},
  year = {2023},
  url = {https://arxiv.org/abs/2311.10863},
  note = {Source identifier: 2311.10863}
}