Value iteration for probabilistic verification of stochastic games
- Speaker
- Toru Takisaka
- Affiliation
- Postdoc Professor in University of Electronic Science and Technology of China
- Date
- Time
- – Asia/Shanghai
- Venue
- B1-518B, Research Building 4
Abstract
I give a talk about value iteration (VI) for stochastic games, which is one of the most widely used techniques in probabilistic verification. After a brief introduction to probabilistic verification, I talk about my result on an efficient VI algorithm [Phalakarn, Takisaka, Haas, Hasuo: CAV’20], and a related ongoing work.
[Phalakarn, Takisaka, Haas, Hasuo: CAV’20]
Kittiphon Phalakarn, Toru Takisaka, Thomas Haas and Ichiro Hasuo. Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. Proc. CAV 2020. https://doi.org/10.1007/978-3-030-01090-4_28
Schedule
- 16:20-17:20 (Time in Beijing)
- 21:20-22:20 (Time in Auckland)
- April 22, 2022 (Friday)