Showing 2026Show all
3 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…
cs.LO2026
Monads and Distributive Laws in Substructural Contexts (Extended Version)
Soichiro Fujii, Yun Chen Tsai, Yoàv Montacute +1
We present a categorical theory of monads and distributive laws in substructural contexts. In the study of distributive laws, the roles of (the absence of) structural rules for var…