To enable the computation of effective randomized patrol routes for single-
or multi-robot teams, we present RoSSO, a Python package designed for solving
Markov chain optimization problems. We exploit machine-learning techniques such
as reverse-mode automatic differentiation and constraint parametrization to
achieve superior efficiency compared to general-purpose nonlinear programming
solvers. Additionally, we supplement a game-theoretic stochastic surveillance
formulation in the literature with a novel greedy algorithm and multi-robot
extension. We close with numerical results for a police district in downtown
San Francisco that demonstrate RoSSO's capabilities on our new formulations and
the prior work.Comment: 7 pages, 4 figures, 3 tables, submitted to the 2024 IEEE
International Conference on Robotics and Automation. See
https://github.com/conhugh/RoSSO for associated codebas