R. I. Brafman, D. Tolpin, and O. Wertheim, “Probabilistic Programs as an Action Description Language”, AAAI, vol. 37, no. 13, pp. 15351-15358, Jul. 2024.