@misc{indiciaefef3c6949c15,
  title = {Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives},
  author = {Jun Wang and Samarth Kalluraya and Yiannis Kantaros},
  year = {2022},
  url = {https://arxiv.org/abs/2209.06130},
  note = {Source identifier: 2209.06130}
}