1 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
3 papers
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…
From Defects to Demands: A Unified, Iterative, and Heuristically Guided LLM-Based Framework for Automated Software Repair and Requirement Realization
Alex, Liu, Vivian +1
This manuscript signals a new era in the integration of artificial intelligence with software engineering, placing machines at the pinnacle of coding capability. We present a forma…
Strategy Templates for Almost-Sure and Positive Winning of Stochastic Parity Games towards Permissive and Resilient Control
Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo
Stochastic games are fundamental in various applications, including the control of cyber-physical systems (CPS), where both controller and environment are modeled as players. Tradi…