TY  - RPRT
TI  - Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
AU  - Marta Grobelna
AU  - Jan Křetínský
AU  - Maximilian Weininger
PY  - 2025
UR  - https://arxiv.org/abs/2505.21087
ID  - 2505.21087
ER  -