@article{verifiedcompositionalneurosymboliccontro,
  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},
  eprint = {2311.10863},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2311.10863v3},
}