Q. Zhang, E. Durfee, and S. Singh, “Modeling Probabilistic Commitments for Maintenance Is Inherently Harder than for Achievement”, AAAI, vol. 34, no. 06, pp. 10326-10333, Apr. 2020.