Speaker:
Toru Takisaka (Postdoc Professor in University of Electronic Science and Technology of China)
Time:
- 16:20-17:20 (Time in Beijing)
- 21:20-22:20 (Time in Auckland)
- April 22, 2022 (Friday)
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