9 citations · 12 across the 8 of their papers we have counts for
8 papers
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…
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…
A Matrix Decomposition Method for Odd-Type Gaussian Normal Basis Multiplication
Kittiphon Phalakarn, Athasit Surarerks
Normal basis is used in many applications because of the efficiency of the implementation. However, most space complexity reduction techniques for binary field multiplier are appli…
Optimal Representation for Right-to-Left Parallel Scalar Point Multiplication
Kittiphon Phalakarn, Kittiphop Phalakarn, Vorapong Suppakitpaisarn
This paper introduces an optimal representation for a right-to-left parallel elliptic curve scalar point multiplication. The right-to-left approach is easier to parallelize than th…
Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
Kittiphon Phalakarn, Yun Chen Tsai, Ichiro Hasuo
For model checking stochastic games (SGs), bounded value iteration (BVI) algorithms have gained attention as efficient approximate methods with rigorous precision guarantees. Howev…
Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)
Yun Chen Tsai, Kittiphon Phalakarn, S. Akshay +1
Markov decision processes (MDPs) are a popular model for decision-making in the presence of uncertainty. The conventional view of MDPs in verification treats them as state transfor…