EasyChair Smart SlideUser guide
Conference: VeriProp 2022 (The Workshop on Verification of Probabilistic Programs)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games

Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games

Kittiphon Phalakarn, Toru Takisaka, Thomas Haas and Ichiro Hasuo

Presentations in this collection: 1
Copyright © 2002 – 2026 EasyChair