Thank you, I'll test this once I get home.
Are these settings documented somewhere by chance?
Not that I can find. Doing a Google search for it also only brought up this thread.
It seems that the bots do not spawn when the server starts, but they spawn when the first player joins. So if the round ends and the map changes, the bots all despawn until someone else joins the server.