Value iteration for probabilistic verification of stochastic games

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

,