@article{forwardreachabilityfordiscretetime,
  title = {Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order},
  author = {Vignesh Sivaramakrishnan and Rosalyn A. Devonport and Murat Arcak and Meeko M. K. Oishi},
  year = {2024},
  eprint = {2407.03984},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2407.03984v2},
}