most citedFrom Defects to Demands: A Unified, Iterative, and Heuristically Guided LLM-Based Framework for Automated Software Repair and Requirement Realization

1 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2025

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…