@misc{indiciaedca51f5241af,
  title = {Convergence analysis of particle swarm optimization using stochastic Lyapunov functions and quantifier elimination},
  author = {Maximilian Gerwien and Rick Voßwinkel and Hendrik Richter},
  year = {2020},
  url = {https://arxiv.org/abs/2002.01673},
  note = {Source identifier: 2002.01673}
}