publications

2025

1. Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games

   Marta Grobelna, Jan Kretinsky, and Maximilian Weininger

   2025

   Bib

   @article{lics25,
     title = {Stopping Criteria for Value Iteration on Concurrent
     Stochastic Reachability and Safety Games},
     author = {Grobelna, Marta and Kretinsky, Jan and Weininger, Maximilian},
     year = {2025},
     publisher = {LICS}
   }