Zhang, Q., Durfee, E. and Singh, S. (2020) “Modeling Probabilistic Commitments for Maintenance Is Inherently Harder than for Achievement”, Proceedings of the AAAI Conference on Artificial Intelligence, 34(06), pp. 10326-10333. doi: 10.1609/aaai.v34i06.6596.