@misc{indiciae3df9b6dadbe9,
  title = {Data driven synthesis of provable invariant sets via stochastically sampled data},
  author = {Amy K. Strong and Ali Kashani and Claus Danielson and Leila Bridgeman},
  year = {2026},
  url = {https://arxiv.org/abs/2511.19421},
  note = {Source identifier: 2511.19421}
}