1. Alshiekh, M., Bloem, R., Ehlers, R., Könighofer, B., Niekum, S., & Topcu, U. (2018). Safe reinforcement learning via shielding. In: Proceedings of the 32nd AAAI conference on artificial intelligence, (AAAI-18), the 30th innovative applications of artificial intelligence (IAAI-18), and the 8th AAAI symposium on educational advances in artificial intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2–7, 2018, (pp. 2669–2678).
2. Amodei, D., Olah, C., Steinhardt, J., Christiano, P., Schulman, J., & Mané, D. (2016). Concrete problems in AI safety. arXiv:1606.06565.
3. Bagheri Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., & Montali, M. (2013). Verification of relational data-centric dynamic systems with external services (Vol. ’13, pp. 163–174). PODS. https://doi.org/10.1145/2463664.2465221
4. Baier, C., & Katoen, J. P. (2008). Principles of model checking (representation and mind series). The MIT Press.
5. Belardinelli, F., Lomuscio, A., & Patrizi, F. (2011). Verification of deployed artifact systems via data abstraction. In G. Kappel, Z. Maamar, & H. R. Motahari-Nezhad (Eds.), Service-oriented computing (pp. 142–156). Springer.