Zhang, Q.; Durfee, E.; Singh, S. Modeling Probabilistic Commitments for Maintenance Is Inherently Harder Than for Achievement. AAAI 2020, 34, 10326-10333.