On the Termination Problem for Probabilistic Higher-Order Recursive Programs

Naoki Kobayashi, Ugo Dal Lago, Charles Grellois

In the last two decades, there has been much progress on model checking of both probabilistic systems and higher-order programs. In spite of the emergence of higher-order probabili…