1. Natasha Alechina , Nick Bassiliades , Mehdi Dastani , Marina De Vos , Brian Logan , Sergio Mera , Andreasa Morris-Martin , and Fernando Schapachnik . 2013 . Computational models for normative multi-agent systems . In Dagstuhl Follow-Ups , Vol. 4 . Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, and Fernando Schapachnik. 2013. Computational models for normative multi-agent systems. In Dagstuhl Follow-Ups, Vol. 4. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.
2. Dario Amodei , Chris Olah , Jacob Steinhardt , Paul Christiano , John Schulman , and Dan Mané . 2016. Concrete problems in AI safety. arXiv preprint arXiv:1606.06565 ( 2016 ). Dario Amodei, Chris Olah, Jacob Steinhardt, Paul Christiano, John Schulman, and Dan Mané. 2016. Concrete problems in AI safety. arXiv preprint arXiv:1606.06565 (2016).
3. Konstantine Arkoudas , Selmer Bringsjord , and Paul Bello . 2005. Toward ethical robots via mechanized deontic logic . In AAAI fall symposium on machine ethics . The AAAI Press Menlo Park , CA , 17--23. Konstantine Arkoudas, Selmer Bringsjord, and Paul Bello. 2005. Toward ethical robots via mechanized deontic logic. In AAAI fall symposium on machine ethics. The AAAI Press Menlo Park, CA, 17--23.
4. Christel Baier and Joost-Pieter Katoen . 2008. Principles of model checking . MIT press . Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking. MIT press.
5. A Markovian Decision Process