9 citations · 12 across the 8 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.GT2026
Value Iteration for Stochastic Parity Games
Kittiphon Phalakarn, Ichiro Hasuo
We present the first (bounded) value iteration algorithm for the quantitative analysis of stochastic parity games, a fundamental model for probabilistic verification with -regul…
cs.DS2026
A Coalgebraic Dijkstra Algorithm
Takahiro Sanada, Yoàv Montacute, Kittiphon Phalakarn +1
The Dijkstra algorithm is a classical method for solving the shortest path problem on weighted graphs. There are several variations of the Dijkstra algorithm, including algorithms…