確率プログラムのための分割線形期待値分析: 𝑘-帰納法による解析

本研究では、確率プログラムの定量的解析のために、分割線形上限および下限を自動的に合成する新しいアプローチを提案する。これにより、より簡潔で表現力のある数値的境界を導出することができる。